den samma för den reala linien , såvida tillräckligt många realisteranmäla