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