I have not ruled out the possibility that at least one player will be independently alive.
Assuming that doesn't happen, case (a) is no worse for White than seki, and excludes cases in which Black has a non-removable ko threat that is not loss-making by the entire corner. (Examples of positions where the defender does have such threats: these situations?, double-ko sekis, and sending 2 returning 1.)
I use case (a) to avoid issues regarding how exactly seki is defined, and show that
.
(I still need to consider Black's self-contained Moonshine Life corner as not killable to be sure of my conclusion that after , White is still not threatening a ko to kill Black.)