AB=0, rank(A) rank(B)