theorem :: XPRIMES2:1990

canceled;