4.8.2　場合分けでのラベル

　当然ながら場合分けをして証明するときには，それぞれの場合の証明でのラベルは，その場合の証明の中でのみ有効です．もし，その場合の証明以外でその証明のラベルを使おうとすると，ラベルがないというエラーとなります．