一意性 検証