En la teoría ZFC, el axioma de elección permite probar que