theorem :: EUCLID_8:29

canceled;