big lie subgroup of lie, 1 assertions