シミュレーションの結果だけで証明になるん？(;´Д`)