>>132 つづき
この正方形は, 原始ピタゴラス数 {0, 1, 1} に相当しますが、
これは三角形にも長方形にもなりません。そこで１ステップ
戻すと、[1, 3] となり、{4, 3, 5} が出てきます。
じつは、この「逆操作」は三通りあって、これが U, D, A
それぞれの行列を掛ける操作に対応します。
すなわち、Barning ＝ Hall ＝ 亀井の定理の逆は、
「正方形を二個除去する互除法」に帰着します。