Theorems in computational complexity theory