Denna sats har icke mindre praktisk äntheoretisk