Finite-Rank Operators are Compact