<< Word problem for groups Williams tube >>