H/K는 그냥 정의 자체가 alternating n-linear function임
근데 앞에서 서술할 때부터 되게 많은걸 보여주고 자연스럽게 정의한거라 자기가 보는 책에서 성질을 덜 줬고 설명도 안했으면 직접 증명해보는게 맞음

- dc official App