theorem :: XPRIMES2:927

canceled;