theorem :: XPRIMES2:9670

canceled;