% SZS status Theorem for EXT__POIN
% SZS output start Proof for EXT__POIN
  file('i/f/normalForms/EXT__POINT0',ch4s_normalFormss_EXTu_u_POINT0)).
  file('i/f/normalForms/EXT__POINT0',ah4s_normalFormss_EXTu_u_POINTu_u_DEF)).
% SZS output end Proof for EXT__POIN
