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.