Por tanto, el enunciado puede escribirse como sigue: