Påstand: Alle barn har samme øyenfarge.
Bevis: Vi viser dette med induksjon på antall barn, n. For n = 1 er utsagnet trivielt,
ett barn har en gitt øyenfarge. Anta resultatet holder for alle samlinger av n = k − 1
barn, vi vil vise at det er sant for n = k barn. Så gitt en samling av k barn, still dem
opp på rekke; per induksjon har de første k − 1 av barna samme øyenfarge, og også
de siste k − 1. Men da vil de k − 2 barna i midten ha samme øyenfarge både som de
k − 1 første og som de k − 1 siste! Følgelig har alle de k barna samme øyenfarge, og
påstanden er bevist med matematisk induksjon
