Use bold for the theorem name and correct the orthographe