Ngasilake versi sing luwih rumit saka ukara iki Bukti saka bagean ndhuwur saka teorema uga nuduhake yen teori sing ora ana wates pungkasan ing kardinal model kasebut kudu duwe model tanpa wates.
Mesthi, versi sing luwih rumit saka ukara kasebut yaiku "Bukti bagean ndhuwur teorema uga nuduhake manawa teori kanthi model winates sing gedhe banget kudu duwe model tanpa wates; kadhangkala iki dianggep minangka bagean saka teorema. "