Dowód indukcyjny Aurustius: Witam, nie mam pojęcia zbytnio jak zabrać się za dano zadanko: Indukcyjnie wykazać, że dla każdej liczby naturalnej n≥32 istnieją liczby naturalne x i y takie, że m = 5x+9y. Z góry dziękuje za pomoc!

irena_1: 32=5*1+9*3 n>32 Z. n=5x+9y x, y∊N T. n+1=5k+9l k, l∊N D. n+1=5x+9y+1=5x+10+9y+1−10=5(x+2)+9(y−1) x+2=k i y−1=l n+1=5k+9l k∊N i dla y≥1 l ∊N Jeśli y=0, to n>32 i n=5x, to x≥7 n+1=5x+1=5x−35+35+1=5(x−7)+9*4