theorem :: EUCLID_8:24

canceled;