theorem :: XPRIMES2:670

canceled;