Ponemos el siguiente código: