resulta que lo que estábamos buscando puede escribirse como: