Bianchi and Weyl equations as sufficient equations for Einstein spaces

When the Bianchi equation and the wave equation for the Weyl spinor are written in the form which they take for Einstein spaces, but with the symmetric 4-spinor _ABCD considered arbitrary and with the background space unspecified, ^EA _EBCD=0; (+12) _ABCD –6(AB ^EF ( _CD )EF =0 it is shown that — in general — for this pair of equations to be consistent, the background space has to be an Einstein space, and the symmetric 4-spinor _ABCD has to be the Weyl spinor of this space.