The operator introduced in my previous post has many properties. The most notable ones are:

(1) is a constant

(2)

(3)

(4)

(5)

We will add to this list an additonal property:

(6)

To derive (6), let us consider

.

When ,

.

When ,

.

When ,

.

When ,

When ,

.

Therefore,

It follows that