Morse probó que la proposición sobre polígonos euclídeos puede demostrarse en teoría de conjuntos ZF y que no requiere el AE.