theorem :: XPRIMES2:1992

canceled;