>>647
議論での証明はその証明をやりたい方がやらなきゃならんのだけどな