Č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í.