The Euclidean step: right multiplication by $T^n$ adds $n$ times the first column to the second

Initializing...

The Euclidean step: right multiplication by $T^n$ adds $n$ times the first column to the second · Prove2Me