theorem :: XPRIMES1:1318

canceled;