Alle inwoners van Warffum zijn even oud!?
Stap 1:	Als Warffum 1 inwoner heeft, dan is die uiteraard even oud
Stap 2:	Stel dat, als Warffum n inwoners heeft, die allemaal even oud zijn. Als er nu een nieuwe inwoner bij komt doen we het volgende:  We sturen even een andere inwoner weg. Op dat moment heeft Warffum weer n inwoners, en die zijn volgens onze aanname even oud. Dat betekent dat de nieuwe inwoner dezelfde leeftijd heeft als alle anderen die er al woonden. De weggestuurde inwoner mag terugkomen, en dus heeft Warffum nu n +1 inwoners die even oud zijn.
Uit stap 1 + Stap 2 volgt via inductie de stelling!