Report on the Brauer-Thrall conjectures: Rojter's theorem and the theorem of Nazarova and Rojter (on algorithms for solving vectorspace problems. I)