Structure of modules with invariant forms

It is proved that an Artinian Noetherian module over a ring with involution on which there is defined a nondegenerate antisymmetric invariant bilinear form decomposes into a direct sum of pairwise orthogonal summands, each of which is either indecomposable or a direct sum of two indecomposable modules. This theorem had been previously proved for such modules with unique division by 2.