theorem :: XPRIMES2:1982

canceled;