Назовите имя древнегреческого математика, который начал получать геометрические факты при помощи рассуждений \(доказательств\).