>>497
>>296によると、分類可能と証明できるらしいが。
そう言うのなら、証明してみなさいという話。