elliptic curve subgroup of curve, 1 assertions