Článek dokazuje, že současná existence lokálně injektivního a lokálně surjekrivního homomorfismu mezi dv ěma grafy zaručuje, že oba homomorfismy jsou dokonce lokálně bijektivní.