Quod Erat Demonstrandum.