Что и требовалось доказать

С латинского: Quod erat demonstrandum [квод эрат дэмонстрандум]. Этой формулой заканчивается каждое математическое рассуждение великого математика Древней Греции Эвклида (III в. до н. э.). В средневековых научных трактатах эту формулу писали часто в сокращенном виде: QED.