theorem :: EUCLID_2:6

canceled;