Teorema: Existe un isomorfismo canónico φ: