Fuente TeX:
L(r^*) \subseteq L((r^*)^1)