Prove that $f$ is a choice function if and only if every finite subfunction of $f$ is a choice function

Question

I'm trying to understand how Tukey Lemma implies AC. The proof relies on the above statement. It's not hard to see that if $f$ is a choice function then every finite subfunction of $f$ is a choice function, but I haven't been able to see why the other direction holds.