advent wreath subgroup of wreath, 4 assertions