9.4) na mocy twierdzenia rachunku funktorów:&lt;gap&gt;<br><br> (9.1) pociąga więc za sobą (9.4), c.b.d.o.<br> Nietrudno wykazać (chociażby przez wyczerpanie wszystkich możliwości), że (9) jest jedyną odmianą kanonu jedynej zgodności niezawodną ze względu na przyjęte o układzie założenia. Ogólnie, dla układu o n wejściach kanon ten opierałby się na 21Ť eksperymentach i miałby - w zastosowaniu np. do wejścia pierwszego - postać następującą:&lt;gap&gt; gdzie % jest symbolem uogólnionego iloczynu logicznego, a p, -, p1 przybierają oczywiście wartości 1 lub 0. Formułę (11) można udowodnić przez indukcję ze względu na n .<br> Do powyższej analizy kanonów jedynej zgodności oraz jedynej różnicy należy dorzucić uwagę