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