Sei f:\IR^n -> \IR konvex, ein mal stetig differenzierbar.
Satz:
a ist globales Minimum <=> grad(f)(a)=0

L^2 einmal die geraden Zahlen (die kommen ja schon in L vor) und weiterhin nach dem Distributivgesetz was man zwischen Konkatenation und Vereinigung beobachten kann, das folgende Element in der großen Vereinigung am Schluss drin:

menge(a^(2m+2n+1)|m Quadratzahl und n\el\ \IN)

\Sigma=menge(a) dann ist L^2=\Sigma^\*

L nicht regulär, sodass L^2 regulär