GrpLawVexper.mws
The equation defining V
The line connection P1 and P2
Substituting the line into g and solving
Zero Equations
Group Law!
The first p-derivative of z3.
p-derivation function for p an odd prime