>>85 はKoszul複体を使って証明するのが普通。
というかそれ以外の証明を他で見たことがない。
まあ、わりと自然で簡単な証明だから他の誰かがきっとやってるとは思うが。