theorem :: EUCLID_2:17

canceled;