一方、反対称部分であるは定義より明らかに