Pの性質として任意のxに対してxが無限ループする事があるか無いかを判定する
ことに対してxは一意に決まっている必要ってある？それともない？