each time this process is applied, the largest absolute value of all the entries strictly decreases, unless all the non-zero entries have the same absolute value
each time this process is applied, the largest absolute value of all the entries strictly decreases, unless all the non-zero entries have the same absolute value