Quod erat demonstrandum!