Denna sats har visserligen ingentillämplighet