>>253
ググってみた
まだ証明されてない問題なんだな
なんでこんな問題出すんだ・・