fixes one thing (NTS: distinguish betwen Theorem X.YZ and its name)