auxiliary tools for the minimum rank problem