>>394
同立じゃなくて同率じゃないの?