mappings iteration fixed corrigendum finding points common
surjective implicit mappings relation satisfying carpathian
theorems expanding mappings