theorem :: XPRIMES2:3005

canceled;