T bir büzüşme eşleşmesi ise, d(T(x),T(y))≤pd(x,y) herhangi bir p∈]0,1[ için bütün x,y∈X'lerde geçerli olmak zorundadır (zaten tanımı bu).
Eğer X'in T(x)=x koşulunu sağlayan birden fazla elemanı olsaydı (böyle x'leri sabit değer diye adlandırıyoruz), bunlardan herhangi ikisini a,b∈X seçebilirdik ve o zaman d(a,b)=d(T(a),T(b))≤pd(a,b). Ama p<1 olduğu ve d(a,b)>0 için d(a,b)≤pd(a,b) olamayacağına göre d(a,b)=0→a=b'dir.
İkinci savı kanıtlamak için m,n∈N ve 0≤m≤n olsun.
d(xm,xn)≤d(T(xm−1),T(xn−1)=pd(xm−1,xn−1)≤...
bunu devam ettirdiğimizde
≤...≤pd(x0,xn−m)≤
ve üçgen eşitsizliğini ardarda kullandığımızda
≤...≤pmn−m−1∑j=0d(xj,xj+1)=pm[d(x0,x1)+n−m−1∑j=1d(T(xj−1),T(xj))]≤
aynı şekilde (toplamı her seferinde açarak)
≤...≤pmd(x0,x1)n−m−1∑j=0pj=d(x0,x1)pm1−pn−m1−p≤d(x0,x1)pm1−p
yani (xi)i∈N (X,d)'de bir Cauchy dizisidir ve (X,d) tam olduğu için bir yakınsama değeri a:=limi→∞xi vardır. Böylece
a=limi→∞xi=limi→∞xi+1=limi→∞T(xi)=
büzüşme özelliği nedeniyle T'nin düzgün sürekli olduğunu kullanırsak
=T(limi→∞xi)=T(a) (=a sabit değerdir). ◻