theorem :: XPRIMES1:1258

canceled;