https://www.dict.cc/english-german/That+remains+to+be+proved.html