>>871
証明なら既に出来ているけど、それを書くにはこのスレは狭すぎるんだよね。