证明了一个定量：Ｃ地任意的Ａ∈Ｍ２Ｚ（Ｍ２Ｚ表示所有的２阶整数方阵组成的环）和任意的整数ｍ和ｎ，则存在Ｘ，Ｙ∈Ｍ２Ｚ，使Ａ＝Ｘ＋Ｙ且ｄｅｔＸ＝ｍ，ｄｅｔＹ＝ｎ的充分必要提矩阵Ａ的所有元素的最大公因子能整......

证明了一个定理：对任意的Ａ∈Ｍ２Ｚ（Ｍ２Ｚ表示所有的２阶整数方阵组成的环）和任意的整数ｍ和ｎ，则存在Ｘ，Ｙ∈Ｍ２Ｚ，使Ａ＝Ｘ＋Ｙ且ｄｅｔＸ＝ｍ，ｄｅｔＹ＝ｎ的充分必要条件是矩阵Ａ的所有元素的最大公因子......