theorem :: XPRIMES2:6750

canceled;