The highly publicized proof of [[Fermat's Last Theorem]] relies on the Axiom of Choice. <ref>http://jimcaprioli.blogspot.com/2005/04/fermats-last-theorem.html</ref>
+
The highly publicized proof of [[Fermat's Last Theorem]] relies on the Axiom of Choice. {{fact}}