>>613
同一じゃない証明は簡単に出来るのに
しない理由がマジで解らん