" quod erat demonstrandum, which is Latin for which is the thing that was going to be proved, which means thus it is proved. "

― Mark Haddon , The Curious Incident of the Dog in the Night-Time