He showed that two symbols were sufficient so long as enough states were used (or vice versa), and that it was always possible to exchange states by symbols.
Он је показао да су два симбола била довољна све док се користи стање (или обрнуто), и да је увек било могуће разменити стања симбола.