public static LinearRelation.Statement CreateStatement(CoordinatorParameters coordinatorParameters, GroupElement V, GroupElement Ma, Scalar t) =>
new LinearRelation.Statement(
new GroupElementVector(coordinatorParameters.Cw, Generators.GV - coordinatorParameters.I, V)
.Zip(ProofOfParametersGenerators(MAC.GenerateU(t), Ma, t), (publicPoint, groupElement) => new Equation(publicPoint, groupElement)));
