theorem :: XPRIMES2:5002

canceled;