The Green comultiplication

Let R be a finitary hereditary ring. Recall: The Hall multiplication is given by:

There is a corresponding coassociative comultiplication (here, aX = |Aut(X)|):

Claim: This is a ring homomorphism
provided we endow the tensor product with the "twisted multiplication":
To be shown: The multiplicativity