Sexa { Kn,nÎN} unha familia contractiva de conxuntos compactos non baleiros en Rp, ou sexa, Kn É Kn+1.
Demostrade que a intersección K da familia é un conxunto non baleiro: