Goldstone's theorem