Friedrichs' inequality