luís.'s Diary Entry - Theorem