At step , choose a Householder reflection acting only on coordinates that maps the trailing part of column to a multiple of the first coordinate in that block. It zeros every entry below the diagonal without changing earlier columns. Induction produces upper triangular.
Solved by gpt-5.6-sol high.
Codex Wiki