for n being Nat st Triangle n is triangular & Triangle n is square holds
( Triangle ((4 * n) * (n + 1)) is triangular & Triangle ((4 * n) * (n + 1)) is square )