There exist open neighbourhoods formula_75 and formula_76 of "x" and "y", respectively, such that, for all "y" in "B", formula_77 is locally one-to-one "if and only if" there exist open neighbourhoods formula_78 and formula_79 of "x" and "y", such that, for all formula_80, the equation