added inferred definition of a line. should probably double-check this later
started adding supporting theorems for 'group law on elliptic curve' theorem
add definition/discussion of S_d and S_d(p), which is used later in text.