theorem :: EUCLID_8:36

canceled;