一意存在性なんてあったら、定数カンスーになってまうがな