અમે ઇન્ડક્શન દ્વારા ધારણા છે કે સ્ટેટમેન્ટ k માટે ધરાવે છે.