El teorema original en inglés es como sigue: