P
Initializing...
Appendix B (⇐): distinct nonzero Gram rows are orthogonal · Prove2Me