took out some 'empty' space in thm 6.1