Jokaiselle kunnalle F on olemassa isomorfiaa vaille yksikäsitteinen kunta G jonka alikunta F on, kaikki F:n alkiot ovat algebrallisia G:ssä ja G on algebrallisesti suljettu.
jˌokaisˈelle kːunnˈalle ˈæf on ˌolemˈassa ˌisomorfˈiaː vˈaille ˌyksɪkæsɪtːˈeineŋ kˈunta ɡˈeː jˌoŋka ˌalɪkˈunta ˈæf on, kˈaikːɪ ˈæf:ˈæn alkˈiot ˌovat ˌalɡebrˌallɪsˈia ɡˈeː:ssˈæ ja ɡˈeː on ˌalɡebrˌallɪsˈestɪs suljˈetːu.