>>991
俺らが考えてる実数と違うものを実数として使ってるで反証終わり