ソース公開すれば誰かが勝手に証明してくれる。