k∈Z
Z表示整数集合,即 {正整数}∪{0}并{负整数}
所以,是的,必有k=0包含其中.