Open Internet by MindsNetNeed help understanding the constant rank theorem on manifolds and its proof