for n being Nat st n is triangular holds
(8 * n) + 1 is square