Hidden constructions in abstract algebra (1): integral dependance

We give an elementary method, hidden in a theorem of abstract algebra, for constructing integral dependance relations. We apply this method in order to give a constructive proof of a theorem of Kronecker.