Kui } göre !s0.