Denna sats leder till ettfullständigt