theorem :: XPRIMES2:792

canceled;