theorem :: XPRIMES2:760

canceled;