はいり はいり売れ 背理法