16/02/28 23:20:05.73 TRx0RPe2.net
>>282
俺は以下が真であることを示せる。お前は偽だと主張するか？
>>281
> 先に答えを言うと、>>170の構成方法により、a=f(V)かつ任意のVの置換V',V'',V''',・・・に対し、
> f(V'), f(V''), f(V'''),・・・が与えられた方程式の根となるようにできる。
16/02/28 23:20:05.73 TRx0RPe2.net
>>282
俺は以下が真であることを示せる。お前は偽だと主張するか？
>>281
> 先に答えを言うと、>>170の構成方法により、a=f(V)かつ任意のVの置換V',V'',V''',・・・に対し、
> f(V'), f(V''), f(V'''),・・・が与えられた方程式の根となるようにできる。