, which reduce to

,

,

, owing to the identity of

and