Redirecting to M. Riesz extension theorem