quod erat demonstrandum: Which was to be proved.

---