Add Descartes Thm Reference