Schrödinger–HJW theorem