Из леммы 4.2 следует, что если никакой из тупиков свободной сети никогда не сможет стать пустым ни при какой достижимой разметке, то никакой переход t сети не может стать мертвым ни при какой разметке. Действительно, в противном случае достаточно взять S t и Г - тупиковую разметку М, применить лемму 4.2 и прийти к существованию пустого тупика. Таким образом, если все тупики сети не пусты ни при одной достижимой разметке, то все переходы сети живы. В свою очередь, если тупик содержит размеченную ловушку, то он никогда не сможет стать пустым.
