La isomorfía anterior, implica que formula_137 tiene un cero en formula_617.