Sylvester's rank inequality