He proved some remarkable theorems (not of course with the modern terminology quoted below):
He proved ilang kapuna-puna theorems (hindi ng mga kurso sa mga makabagong terminolohiya ng quoted sa ibaba):