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