ここで、は単射でないから、は常には成り立たないことに注意すべきである。