On sums and products of diagonalizable matrices over division rings | Synapse