theorem :: XPRIMES1:1250

canceled;