theorem :: XPRIMES2:1977

canceled;