linalg: prove row rank = col rank