theorem :: XPRIMES2:7670

canceled;