theorem :: XPRIMES2:1997

canceled;