結局一意性の証明はわかったのかよw