Results were mostly proved by 1930, after work by Teiji Takagi.
Os resultados foron provados en 1930 co traballo de Teiji Takagi.