Results were mostly proved by 1930, after work by Teiji Takagi.
Τα αποτελέσματα αποδείχθηκαν περισσότερο από το 1930, μετά την εργασία του Τέιτζι Τακάτζι.