theorem :: EUCLID:50

canceled;