一意性の証明法