>>407
分類が一意でないのなら、>>255は反例になり得ない。
算数で扱っているというだけの主張になる。
>>296によると分類可能らしいが、その証明は未だに無し。
分類可能らしいので、それを証明すれば、反例足り得るわけだが。