quod erat demonstrandum - ii