Mathematical theorems in theoretical computer science