>>826
論理的な前提にしているから、わかりやすくあえて明示的に書いただけな