theorem :: XPRIMES1:2750

canceled;