Page "0, 1) be a subspace of the [real line" not found :(