theorem :: EUCLID:38

canceled;