1. INTRODUCTION. In this paper we introduce the reader to two remarkable results in the theory of sets. Both are more than fifty years old, but neither one appears to be well known among nonspecialists. Each one states that a certain proposition implies the Axiom of Choice. First we describe the results, then review definitions, then, finally, present the proofs, most of which are straightforwa...