quod errat demonstrandum