A weak countable choice principle

A weak choice principle is introduced that is implied by both countable cho ice and the law of excluded middle. This principle suffices to prove that m etric independence is the same as linear independence in an arbitrary norme d space over a locally compact field, and to prove the fundamental theorem of algebra.