Quod Erat Demonstrandum.
I know that—I figured the guy was confused enough alreafy. ;-)
Plus my translation was correct.