theorem :: EUCLID_8:23

canceled;