>>120
別にルートや負の数がないことは示せなかったが
>>117ではないことが示せてる