Category talk:Theorems in quantum mechanics