The theorem that bears his name may not have been his discovery, but he was probably one of the first to give a deductive proof of it.
Teorema care îi poartă numele nu a fost descoperirea lui, dar el a fost primul care a dat o demonstrație deductivă a ei.