 reserve n,s for Nat;

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