Aquinas's First Way of Proving the Existence of God