Теорема 31

при корректном(!) объединении таких модулей сохраняется их смысл (характерные черты согласованной системы)

то есть, каждое корректное испытание объединённого автомата означает:

• для И-соединения, что оно является корректным и для каждого из исходных
  
• для ЛИБО-соединения, что оно является корректным для того исходного, который соответствует единственному активизируемому самим объединённым (при этом найдуся такие испытания для каждого из исходных)