theorem :: XPRIMES1:1257

canceled;