 reserve n,s for Nat;

theorem Th18:
  Triangle 8 = 36
  proof
    thus Triangle 8 = Triangle 7 + (7 + 1) by Th10
              .= 36 by Th17;
  end;
