>>483
同値じゃない
下から上はいえるが
上から下はいえない