A necessary condition of local solvability for pseudo-differential equations with double characteristics