実2次元数ベクトル限定の線型独立/従属

実2次元数ベクトル限定の線型独立/従属の、
簡易判定法の証明を書き足して、アップロード。