Describir: Equivalencia entre el axioma de elección y la existencia de bases en espacios vectoriales