Véanse los ejemplos (23) y (24):