Text this: On the Riesz representation theorem :