Finito di portare i primi enunciati in Rn, mancano le dimostrazioni