>>890
それは事実だけ知っとけば
大体事足りる命題の代表的なものだと思うけど

証明するにしても、ごちゃごちゃ補助線とか引いて
無理矢理計算する証明には価値は無い

多重線形性と交代性から導き出すものでなければならない