quod erat demonstrandum....