まじめに書いて、背理法もつかえねえのか>>227