Category:Mathematical theorems in theoretical computer science