Любое li - сечение в О-сети содержит единственную фишку при любой достижимой разметке. Действительно, в силу условия А5 любое li - сечение начинается некоторым головным местом, содержащим фишку. При срабатывании некоторого перехода t в сети возможны два случая: f принадлежит данному li - сечению L или t не принадлежит ему. В первом случае t обязательно переместит фишку из своего входного места, принадлежащего L, в свое выходное место, также принадлежащее L. Во втором случае фишка остается в прежнем месте сечения L.
