તેમણે પરિચિત તંત્રમાં ઘણાં સંશોધનો રજૂ કર્યાં, જેમ કે ઘણા બધા નિવેદનો સાબિત કર્યા, ઉદાહરણ તરીકે, સમાંતર રેખાઓ અનંત પર છેદે છે.