home

four proofs: pattern · distributive · rotation · reflection · all forced by consistency · runs locally

b3
slide b from positive to negative — the result must keep increasing by 1 each step, so (−1)(−1) is forced to be +1
ready