Denna sats är emellertidpraktiskt