Proof of fractal uncertainty principle