証明のパターン