theorem :: XPRIMES2:317

canceled;