theorem :: XPRIMES2:1976

canceled;