[Fractint] Revision of the "Explosive Exponential" Theorem-Proof