次数付きトレースtgは正確にこれらのリストの函数の展開となる。