જો કે, તેમણે પ્રમેયના પુરાવા પર કામ કરતા મોટા સમયનો ખર્ચ કર્યો હતો.