Matrix multiplication is determined by trace and orthogonality - Heunen, C; Horseman, C (Linear Algebra and its Applications, 2013)