Q.E.I.

Quod erat inveniendum

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