>>826
解の一意性は大前提?