Before revision:  A rigorous mathematical proof of its existence and exponential form is given, which can also be applied to legitimize a formal derivation by Buchen and Kelly.
After revision:  A rigorous mathematical proof of its existence and exponential form is given, which can also be applied to legitimise a formal derivation by Buchen and Kelly.