assert(k&gt;0 and k%2＝＝1)