for z being Real st z in [.0,1.] & z <> 0 holds
ex w being Element of [.0,1.] st w < z