theorem :: XPRIMES2:6670

canceled;