Properties of unitary random matrices and the Weingarten function, asymptotic freeness by unitary conjugation