A≠B≠O이고 AB=O일때 B가 역행렬을 가진다고 가정하면 AB=O의 양변에 B의 역행렬을 곱하면, A=O이 됩니다 첫 줄의 명제에 A≠O이 아니라는 가정에 어긋납니다.
당신은 어느 그룹입니까?