>>469
で、同値性のどちらがわの矢印がわからないの?