theorem :: EUCLID_8:35

canceled;