reserve k, m, n, p, K, N for Nat;
reserve i for Integer;
reserve x, y, eps for Real;
reserve seq, seq1, seq2 for Real_Sequence;
reserve sq for FinSequence of REAL;

theorem Th11:
  (1/(k+1))*(1/(k!))=1/((k+1)!)
proof
  thus (1/(k+1))*(1/(k!)) = 1/((k+1)*(k!)) by XCMPLX_1:102
    .= 1/((k+1)!) by NEWTON:15;
end;
