existence of polynomial operations on distributions of free variables; proof of operator-valued free central limit theorem; operator-valued semicircular element