Group law on the neutral component of the Jacobian of a real curve of genus 2 having many real components An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves 