This article introduces the idea of generic proof for younger children and illustrates how one example can offer a proof of a general result through unpacking its underlying structure.
In this 7-sandwich: 7 1 3 1 6 4 3 5 7 2 4 6 2 5 there are 7 numbers between the 7s, 6 between the 6s etc. The article shows which values of n can make n-sandwiches and which cannot.