att en fullständig reallinie numeraingalunda