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