theorem :: EUCLID:34

canceled;