P is the orthogonal projection onto a 3-dimensional subspace of ℝ¹⁰. · QuantMax