Schrödinger–HJW theorem and purification of quantum state