https://123dok.net/document/zgwj4r5n-doit-avoirx-d-ker-f-g-injective-inversible.html