theorem :: EUCLID:49

canceled;