theorem :: EUCLID_8:30

canceled;