% SZS status Theorem for PROB__UN
% SZS output start Proof for PROB__UN
  file('i/f/probability/PROB__UNIV',ah4s_probabilitys_PROBu_u_SPACE)).
  file('i/f/probability/PROB__UNIV',ch4s_probabilitys_PROBu_u_UNIV)).
% SZS output end Proof for PROB__UN
