” Quod demonstrandum erit ,”