where
x
is a root of
.
The rest of
is spanned by the oldforms
and
.