theorem :: XPRIMES2:2750

canceled;