theorem :: XPRIMES2:4670

canceled;