theorem :: XPRIMES1:792

canceled;