More correctly, the insight is that this computation is trivial after you expand it.