(Translated by https://www.hiragana.jp/)
[2105.01575] A systematic and complete proof of the existence and uniqueness of self-descriptive numbers