Action of differences on left-invariant operators

Added statement and proof that difference operators decrease the order
of a differential operator. As I haven't defined the Fourier Transform
on distributions, there are a few details that need changing.
Added example environment + minor changes

Cleaned up main.tex and added example environment
\Psi DO calculus contains l-invariant calculus

Need some more detail.