Gadzira shanduro yakaoma zvikuru yemutsara uyu Uchapupu hwechikamu chokumusoro cheiyo theorem hunoratidzawo kuti dzidziso isina muganhu wakakwana pa cardinalities yemamodeli ayo inofanira kuva nemuenzaniso usingagumi.
Chokwadika, shanduro yakaoma zvikuru yemutsara ndeiyi "Uchapupu hwechikamu chokumusoro cheteoremu hunoratidzawo kuti rondedzero ine mienzaniso yakaganhurirwa yakaganhurirwa inofanira kuva nomuenzaniso usingagumi; pane dzimwe nguva izvi zvinorangarirwa kuva rutivi rweteoremu".