Sexa K un subconxunto compacto de R, f:K → K unha aplicación continua tal que f(x)≠ x para todo punto x de K. Demostrade que existe un número real k > 0 tal que, para todo x de K,

|x-f(x)|≥ k.