ખાસ કરીને, તેમણે કેટલાક પ્રણાલીઓ (વર્ટિકલ ખૂણાઓની સમાનતા, વર્તુળનું વિભાજન વ્યાસ રેખા સાથે, અને અન્ય) સાબિત કર્યું હતું.