On a rigorous proof of moduli stabilization of vacuum spacetimes, refuting Penrose 03 (for $\geq 10$-dimensions with a Killing spinor on the compact fiber and for Schwarzschild-asymptotics):