found a slightly alternate presentation of the group construction on elliptic
curves. useful reference material, but somewhat terse, and doesn't stray
proof of group law on elliptic curve mostly complete. Still needs polishing,
and supporting theorems need to be added.