theorem :: EUCLID:37

canceled;