 reserve n,s for Nat;

theorem
  36 is triangular square
  proof
    Triangle (4 * 1 * (1 + 1)) is triangular square
      by Th11,Th80,Th78;
    hence thesis by Th18;
  end;
