For the space in to be spanned by an dimensional basis

must be an identity at (almost) every point.