theorem :: EUCLID_8:14

canceled;