F. Riesz's theorem (source code)

= F. Riesz's theorem
{wiki=F._Riesz's_theorem}