quantum no-go theorems