theorem :: EUCLID:36

canceled;