theorem :: EUCLID:35

canceled;