Jäl'gused: Ku ühthižes sistemas kaik vajehtujad oma pävajehtujad, znamoičeb, ningoi sistem om märhapandud.
Последствия: Если в общей системе все переменные являются главными переменными, значит, такая система определена.