theorem Th5:
  for A,B being Event of Sigma holds P.(A \ B) = P.(A \/ B) - P.B
proof
  let A,B be Event of Sigma;
  P.(A \/ B) - P.B = P.B + P.(A \ B) - P.B by PROB_1:36;
  hence thesis;
end;
