Quod erat demonstrandum. Three letters appended to the theorems of Euclid, meaning: Thus have we proved the proposition stated above, as we were required to do.