https://www.dict.cc/english-german/quod+erat+demonstrandum.html