Si noti che ciò dimostra che se un sottospazio affine -dimensionale esiste allora esso è , ma ciò non dimostra che esiste effettivamente; d'altra parte poiché siamo a posto.