theorem :: XPRIMES2:3007

canceled;