Если допустимый поток величины и допустимый поток величины , то совместно согласованных простых потоков , таких, что поток является допустимым величины (знак + при и знак - при ).
Доказательство: Пусть и рассмотрим поток , тогда его величина равна .
По теореме о декомпозиции потока:
, где - простые, совместно согласованные потоки по цепям, а - по циклам.
Рассмотрим поток величины . По теореме о совместно согласованных потоках, этот поток ограничен допустимыми потоками и и является допустимым потоком с величиной .