theorem :: XPRIMES2:3010

canceled;