quod erat demonstrandum

quod erat demonstrandum - what was to be demonstrated