過去スレ017の775より、正則な単射(>>456)は単射である。