>>687
両方とも正規性を前提にしているんじゃないの?