>>114 (AB)^t=B^tA^t

部分軍の定義を満たすかどうか調べるだけ