En sats , som leder tillsådana