QED Proof quod erat demonstrandum