>>452
>>450
および通常の一意性証明