• mikä oli todistettava

mikä oli todistettava (englanniksi)

• quod erat demonstrandum (Phrase: math / which was to be proved; which was to be demonstrated)