그냥 단순히 0 = A x B = B x C = C x D = D x A => 0 = A x D = B x C 가 바로 안나올것 같아서 말한 건데 //가 equivalence인걸 놓침
대수적으로도 nonzero A, B, C면 0 = A x B = B x C => A, C in span(B) => span(A) = span(B) = span(C) => A x C = 0 맞음
그럼 님 말대로 풀 방정식은 0 = A x B = B x C = C x D면 되고 이러면 underdetermined system이라 indefinite 아님 unsolvable이네