#On a eu d(a1,B)⩽ ||a1-b|| avant alors on peut dire qu'il existe une boule fermée Bf(a0,r) tel que d(a0,B)⩽ ||a0-b||=r #Lors de l'intersection de d(a0,B) avec B, il ne reste qu'un morceau K qui est inclus dans d(a0,B) qui est compact, et donc K qui est fermé (une intersection de fermés est un fermé) dans un compact est compact #On a vu dans le 1) que si A et B sont compacts alors il existe d(A,B)=d(a,b) donc si A et K sont compacts, il existe d(A,K)=d(a,b)=d(A,B) car K⊂B donc il existe forcément