En 1945 simplificó la prueba de irracionalidad de π.