解の一意性はどうやって保証するのかしら???