theorem :: EUCLID_4:39

canceled;