Prove that $\mathcal{P}_n = \mathcal{X}_n \cap \mathrm{O}_n(\mathbb{R})$ and determine its cardinality.