theorem :: XPRIMES2:1970

canceled;