*quod erat demonstrandum.