QED – Quod erat demonstrandum.