3 ms·

I don't know if this necessarily qualifies as "accelerating their learning". The user appears to know what the proof is doing, but not how or why.