quod erat demonstrandum?