theorem :: EUCLID_7:1

canceled;