theorem :: EUCLID_8:15

canceled;