 reserve n,s for Nat;

theorem Th79:
  0 is triangular square
  proof
    0 = 0 ^2; then
    Triangle 0 is triangular square;
    hence thesis;
  end;
