正しい結論は必然的に得られます