theorem :: EUCLID:41

canceled;