 reserve n,s for Nat;

theorem Th14:
  Triangle 4 = 10
  proof
    thus Triangle 4 = Triangle 3 + (3 + 1) by Th10
              .= 10 by Th13;
  end;
