Riesz-Fischer theorem