A cool inductive proof from Jay Cummings Posted on 2026-07-14 [Tuesday] by Jay Jay In my feed today this fun proof from Jay Cummings.