theorem :: EUCLID_8:53

canceled;