" Quod eraf demonstrandum,