theorem :: XPRIMES1:318

canceled;