theorem :: XPRIMES1:1248

canceled;