Sylvester's_rank_inequality loading ...