令L是基于Zn的m行n列拉丁矩形，并令其i行j列上的元素用aij表示。定义n行n列阵列B=（bij) bij=k 若akj=i （9.1)

令L是基于Z_n的m行n列拉丁矩形，并令其i行j列上的元素用a_ij表示。定义n行n列阵列B=(b_ij)

b_ij=k 若a_kj=i (9.1)

否则b_ij就是空的。试证明B是指数为m的n阶半-拉丁方。特别当A是n阶拉丁方时，B也是n阶拉丁方。