RE: A (Comprehensible) Proof of Descartes Theorem