completeness relation dirac spinor