theorem :: XPRIMES1:240

canceled;