Этой формулой кончается каждое математическое рассуждение великого греческого математика Евклида (III в. до н.э.).
Современные авторы