Erat

quod erat faciendum — что требовалось сделать
quod erat inveniendum — что и следовало установить; что и требовалось найти
quod erat registrandum — что и удостоверяется
quod erat demonstrandum — что и требовалось доказать
in quod erat registrandum — что и удостоверяется