Tuning Fork Delta Sequence/Proof 1

Proof
Let $\phi \in \map \DD \R$ be a test function.

Then:

Furthermore: