theorem :: XPRIMES2:8670

canceled;