“…Observe that T P is symplectically similar to J 2 (1) (diag(a, −a, a −1 , −a −1 )) or I 2 (diag(a, −a, a −1 , −a −1 )), which by Lemmas 11 and 19, are products of three symplectic involutions. If k = 3, let a 2 = λ 3 and T be an involution such that T (J 3 (λ) ⊕ [1]) is similar to diag (i, −i, a, −a). Then T P is symplectically similar , −a, a −1 , −a −1 ) or diag(i, i, a, −a, −i, −i, a −1 , −a −1 ), which by Theorem 8 and Lemmas 11 and 17 are both products of three symplectic involutions.…”