[sukilot]

What is "all n cases" when you are quantifying over all "n"?. There are an infinitude of cases. You need induction.