よって、証明すべきことはこの行列が反対称性("ω"t＝-"ω")を持つことである。