theorem :: EUCLID:45

canceled;