>598
>a=1であることの証明です

どういう意味でしょうか?