Cochran's Theorem, Rank Additivity, and Tripotent Matrices.