theorem :: XPRIMES2:6875

canceled;