Theorems in quantum mechanics