theorem :: EUCLID:46

canceled;