Equivalence of Tucker's Lemma and the No-Antipodal-Extension Form of the Borsuk-Ulam Theorem