If \( AB = 0 \) for non-zero square matrices \( A \) and \( B \), then the product being the zero matrix implies that the rank of \( AB \) is zero. Since rank cannot increase in matrix multiplication, at least one of the matrices must have less than full rank—i.e., must be singular (non-invertible). If both were invertible, their product could not be zero.