theorem :: XPRIMES2:975

canceled;