y escribir esto en la forma dada arriba requiere que