Sopov (1970) proved their conjecture that the list was complete.
1970 metais Sopovas įrodė, kad jų sąrašas yra išsamus.