— Quod ernt demonstrandum.