Vi skal 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 (og der betingelsen er oppfylt). Vi skal vise at den også holder for forsamlinger med n gutter

Vi splitter opp argumentet i to tilfeller. Vi antar først at det finnes en undergruppe med k gutter (k<n) som til sammen kjenner nøyaktig k jenter. Deretter ser vi på det tilfellet der enhver undergruppe med k gutter (k<n) til sammen kjenner minst k+1 jenter.

Tilfelle 1: Dersom det finnes en undergruppe med k gutter (k<n) som kjenner nøyaktig k jenter, kan vi ifølge induksjonshypotesen gifte disse guttene og jentene.Tenker du deg litt om, vil du se at betingelsen i problemet også er oppfylt for de guttene og jentene som ennå ikke er gift, og dermed kan vi bruke induksjonshypotesen til å giufte bort resten av guttene også.

Tilfelle 2: Dersom alle undergrupper med k gutter (k<n) kjenner minst k+1 jenter, er saken enkel. Vi plukker ut én av guttene og gifter ham med én av jentene han kjenner. Deretter bruker vi induksjonsantagelsen på de guttene og jentene som er igjen.