För att bewisa sin sats uppräknarprofessor