>>2
x<mが否定されたなら(証明が正しいかは読んでないから知らんが)
>>3以降の議論全部意味ないじゃん