theorem :: EUCLID:44

canceled;