証明が当たるとか外れるってあまり聞かないな。