(test-group "Elliptic Curve Arithmetic"

  (test-assert "Curve membership check"
    (on-elliptic-curve? brainpool-P160r1 Pa))

  (test-assert "Bad curve membership check"
    (not (on-elliptic-curve? brainpool-P160r1 (+ Pa 1))))

  (test-assert "Symmetry of addition"
    (with-elliptic-curve brainpool-P160r1
      (= (+ Pa Pb) (+ Pb Pa))))

  (test-assert "Consistency of addition and multiplication"
    (with-elliptic-curve brainpool-P160r1
      (= (+ Pa Pa Pa) (* Pa 3))))

  (test "Consistency of subtraction"
    0
    (with-elliptic-curve brainpool-P160r1
      (- Pa Pa)))

  )