Singular Value Decomposition: A Geometric Rediscovery, Where Proofs Become Algorithms · Bharat Hunt