theorem Th50:
  3! = 6 & 4! = 24
proof
  thus
A1: 3! = (2+1)! .= 2*3 by NEWTON:14,15
    .= 6;
  thus 4! = (3+1)! .= 6*4 by A1,NEWTON:15
    .= 24;
end;
