theorem :: XPRIMES2:1996

canceled;