I try to use Wick's theorem in the case that some products we deal with are already normal ordered.
My guess is that it could be something like \begin{equation} A:\mathrel{B^{n}}:~=~:\mathrel{AB^{n}}:+nA^{\bullet}B^{\bullet}:\mathrel{B^{n-1}}:\tag{1} \end{equation} I tried to prove that by induction but I failed, maybe the formula is similar and I am somehow close, or maybe my intuition totally fails. How one could approach such a problem?
Also, how would that Wick's expansion look in the general case: $$A_{1}\cdots A_{n}:\mathrel{B_{1}\cdots B_{m}}:~ ?\tag{2}$$