tangent line subgroup of line, 1 assertions