Constant rank theorem