  After obtaining some useful identities, we prove an additional functional
relation for $q$ exponentials with reversed order of multiplication, as well as
the well known direct one in a completely rigorous manner.
