quod erat demonstrandum...