quod erat demonstrandum