推論の証明 わかりやすいですよ