  Recently, it has been shown theoretically that fluorescence microscopy using
random illuminations (RIM) yields a doubled lateral resolution and an improved
optical sectioning. Moreover, an algorithm called algoRIM, based on variance
matching, has been successfully validated on numerous biological applications.
Here, we propose a proof of uniqueness of the RIM variance equation, which
corresponds to a first theoretical validation of algoRIM.
