Denna sats innebär nemligeningenting