The Latin quod erat demonstrandum literally means “what was to be demonstrated.” It is actually a transliteration of a phrase ancient Greek mathematicians placed at the end of logical proofs—a kind of stamp that says “I proved what I set out to.