QED

quod erat demonstrandum ‘which was to be demonstrated’