Schützenberger theorem