christmas wreath subgroup of wreath, 2 assertions