けれども、もし存在すれば一意的に定まることは次の補題からわかる.
けれども、