પરંતુ તેમના કામ હજુ પણ સમર્પિત ગણિત ભાગ: અનેક સાબિતી અને પ્રમેયો દિમાગમાં લાવવામાં આવ્યા હતા.