% SZS status Theorem for POLY__EXP__PRIME__EQ_
% SZS output start Proof for POLY__EXP__PRIME__EQ_
  file('i/f/poly/POLY__EXP__PRIME__EQ__0',ch4s_polys_POLYu_u_EXPu_u_PRIMEu_u_EQu_u_0)).
  file('i/f/poly/POLY__EXP__PRIME__EQ__0',ah4s_polys_POLYu_u_EXPu_u_EQu_u_0)).
  file('i/f/poly/POLY__EXP__PRIME__EQ__0',ah4s_polys_POLYu_u_PRIMEu_u_EQu_u_0)).
% SZS output end Proof for POLY__EXP__PRIME__EQ_
