右上から左下まで 1、その他 0 の行列は次元が偶数なら {{0,1},{1,0}} の直和、奇数ならそれにもう一つ {{1}} 直和した行列なので当たり前。