In this section we show any nonzero form in is
equivalent under the
action of to one of the forms, , in Table 1 with
. We do this in a series of lemmas which themselves
provide an algorithm for transforming an arbitrary form in into
the appropriate .
to one of the forms, 
, in Table 1 with
. We do this in a series of lemmas which themselves
provide an algorithm for transforming an arbitrary form in 
into
the appropriate 
.
Annotation Form Interface