Goldstone theorem