Verify Wick’s theorem explicitly for the case of four operators, namely two creation operators and two destruction operators for bosons in the same state k(vector). There are 4! = 24 possible time orderings, but just pick two possible orderings to verify.