kx1x2xn1generatedbyallthexsothatxym2Iforsomem0HereiswhereweusetheinductionhypothesisBytheinductionhypothesisJisgeneratedbyanitesetof2Zn10CallthissetBThisisjustonepartoftheinductio ID: 380794