theorem :: XPRIMES2:5004

canceled;