If L is a regular language, then there exists a constant n such that for any string w in L with |w| ≥ n, there is some way to split w into three parts u, v, and x such that |v| ≥ 1, |uxv| ≤ n, and uv^ix ∈ L for all i ≥ 0.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art