Decomposition of tensor spaces into irreducible tensor subspaces by Ophir Nave