Axiom of Choice Implies Law of Excluded Middle