>>461
>>416が分類一意性の証明足り得ないのは理解できたか?
必要条件を述べたところで証明にはならない。