theorem :: XPRIMES1:1240

canceled;