为什么统计的是SAM上每个路径的$len[p]-len[fa[p]]$之和啊,

我想象中的转移式不应该是 $size[p] += len[p] - len[fa[p]]$

$ans += size[p]*(n-size[p])$ 吗, len[p]-len[fa[p]]不是这个点所存的后缀数量吗