Re: [math-fun] Proof of Uncertainty Principle