theorem :: XPRIMES2:3670

canceled;