Uti ett fullständigt ordnadt ochi