>>626
>>Conjecture 3.12
> これがIUTなんじゃねーの?
 いいや