Спинорный пропагатор через скалярный

Для свободного дираковского спинора покажите, что $D_F^{\alpha\beta}(x-y)=\langle0|T\psi_\alpha(x)\bar\psi_\beta(y)|0\rangle=i(\not\partial_x+m)_{\alpha\beta}G_F(x-y)$, где $G_F$ — фейнмановский пропагатор свободного комплексного скаляра той же массы. В соглашениях листка $\sum_s u_s\bar u_s=i(i\not k+m)$, $\sum_s v_s\bar v_s=-i(-i\not k+m)$.