Quark deconfinement at high temperature: A rigorous proof