Descartes' Proof of the External World