apply Or.inr
case zero
α : Type u_1
L : Language α
w : Word α
x✝ : w ∈ kstar L
r : w ∈ L ^ Nat.zero
⊢ w ∈ L⁺ ∪ {ε}
case zero.h
α : Type u_1
L : Language α
w : Word α
x✝ : w ∈ kstar L
r : w ∈ L ^ Nat.zero
⊢ w ∈ {ε}