Du kan bruke induksjon på antall gutter. Dersom det er bare én gutt, er påstanden opplagt sann. Anta så at den holder for alle forsamlinger med færre enn n gutter. Vi må vise at den også holder for forsamlinger med n gutter. Dette induksjonstrinnet er ganske vrient, men her er litt hjelp:

Splitt opp argumentet i to tilfeller: Anta først at det finnes en undergruppe med k gutter (k<n) som til sammen kjenner nøyaktig k jenter. Se deretter på det tilfellet der enhver undergruppe med k gutter (k<n) til sammen kjenner minst k+1 jenter.