Terminal case of the Euclidean descent: a unimodular matrix with $M_{00}=0$ is $\pm S T^k$

Initializing...

Terminal case of the Euclidean descent: a unimodular matrix with $M_{00}=0$ is $\pm S T^k$ · Prove2Me