add page and proof of the division theorem
add many lemmas about independent and spanning sets
add initial section on bezout's identity