theorem :: XPRIMES2:750

canceled;