dim[Ker (F)] + dim(Im (F)) = n,
la somma delle dimensioni dell’immagine e del nucleo di un’applicazione lineare è uguale alla dimensione del suo dominio.