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;
