Denna sats har lika sä osta teoretiskt uppställts,