 reserve n,s for Nat;

theorem
  36 is square triangular
  proof
A1: 6 ^2 = 36;
    Triangle 8 = (8 + 1) * 8 / 2 by Th19 .= 36;
    hence thesis by A1;
  end;
