Our argument goes through a long and tedious computation to check equation (6). It is not hard to verify with paper, pencil and perserverance. Alternatively, you may click on "Evaluate" below and Sage will perform the factorization for you.
E-mail :
aubrun (arrobas) math. univ-lyon1. fr