theorem :: XPRIMES2:2670

canceled;