Proposition 1.9 . [025P]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proposition 1.9.
For , let be an -orthogonal basis of with respect to . Then also yields an -orthogonal basis of with respect to .