Skall den reala linien , om ocksåframgent