theorem :: XPRIMES2:1999

canceled;