.

Formula (7) is .

Since the exact value of the is undefined, so we cannot use formula (7) to establish the identity.

Formula (3a):

.

Formula (3b):

.

Thus,

.