Mo's Diary Entry - Theorem