Denna sats är icke allenastteoretiskt