>>483
一意性の証明になってない