Kybernetika 5 no. 3, 190-200, 1969

Two properties of expressions in a certain free universal algebra