Spinor fields and the positive energy theorem