Let and with Averaging Projection . The mean square density of on is:

Lemma

If then

Proof

Firstly

Now note that as is an orthogonal projection, it is reducing the norm so