Theorem 1 ([1]})  
Let \(\mathbf {A} \in \mathbb {R}^{m \times n}\)  and \(\mathbf {x}_0 \in [-1,1]^n\)  and let \(C_1,C_2>0\)  be small enough constants.
Then there is an efficiently computable distribution \(\pazocal {D}(\mathbf {A},\mathbf {x}_0)\)  with the following properties:
