The proof of stable causality on the closure of the domain of outer communications: MATHEMATICA file bssc.nb.