Quod er rat demonstrandum!