proved exercise 17.8
finished proof of why connected unipotent subgroups must have trivial character
made some stylistic changes