4.8.2 Labels for Dividing Into Cases

Unquestionably, when demonstrating by dividing into cases, the labels of each case demonstration is only valid during the demonstration of that particular case. If we try to use that label for the demonstration of another rather than that specific demonstration case, an error saying that there is no label will appear.