1行2列の行列において、各要素が整数であるようなものを格子ベクトルと呼ぶことにする。
A は各成分が整数であるような2次正方行列とする。
任意の格子ベクトル x に対して，ある格子ベクトル m が存在して
x = mA と表せるための A が満たすべき必要十分な条件を求めよ。