小红在小刚的南面，小刚一定在小红的北面。