David Obeid: An explanation of one of St. Thomas' proofs