theorem :: XPRIMES2:1998

canceled;