theorem :: XPRIMES1:4672

canceled;