quod erat inveniendum

Лат. что и требовалось найти