Frobenius inequalityFor any matrices A, B, C such that ABC exists, thenrankAB+rankBC≤rankABC+rankB.References 1 Carl D. MeyerMatrix Analysis and Applied Linear Algebra