Careful Words

theorem (n.)