In his proof he assumed the existence of a set of parameters satisfying some inequalities .
Adian pointed out that these inequalities were inconsistent .
In his proof he assumed the existence of a set of parameters satisfying some inequalities , but Adian pointed out that these inequalities were inconsistent .