theorem :: XPRIMES2:3006

canceled;