Oletetaan, että mielivaltaisessa joukossa  on  määrä alkiota eli  ja että väite pätee, jolloin joukolla  on olemassa maksimi eli .
ˌoletˈetaːn, ˈetːæ mˌielɪvˌaltaisˈessa joukˈossa on mˈæːræ ˌalkɪˈota ˈelɪ ja ˈetːæ vˈæite pˈæteː, jˈolloin joukˈolla on ˌolemˈassa maksˈimɪ ˈelɪ .