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