Descartes' theorem