一意性の証明