theorem :: XPRIMES2:6757

canceled;