Mimi's favorite theorem is written here
Uli's favorite theorem_MA375Fall2008walther will be discussed in October]].