>>42
ker f={0} ならばfは単射。