theorem :: XPRIMES2:3004

canceled;