theorem :: EUCLID:43

canceled;