theorem :: EUCLID:29

canceled;