quod erat demonstrandum
qed