Results were mostly proved by 1930, after work by Teiji Takagi.
أثبتت النتائج في الغالب بحلول عام 1930، بعد العمل من قبل تيغي تاكاغي.