Teorema cuando dos espacios son iguales (dimensión).