Proofs of Lemmas of the Paper Design of a Distributed Quantized Luenberger Filter for Bounded Noise