Two Extension Theorems Effectively Equivalent to the Axiom of Choice