Quod erat demostrandum.