Do you have a favorite theorem that you can prove when asked?