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