theorem :: XPRIMES1:4792

canceled;