Redirecting to Friedrichs' inequality