theorem :: XPRIMES2:6800

canceled;