The Heisenberg uncertainty principle || Proof