theorem :: XPRIMES2:1003

canceled;