标签: 赫恩伯格-科恩定理