Time scale separation in the low temperature East model: rigorous results