theorem :: XPRIMES1:1264

canceled;