Käänteisfunktion olemassaolo