https://123dok.net/document/q7w470lv-iwasawa-main-conjecture-for-supersingular-elliptic-curves.html