theorem :: XPRIMES2:318

canceled;