Deuteronomy 2:33

2:33 the Lord our God delivered him over to us and we struck him down, along with his sons and everyone else.

Deuteronomy 32:30

32:30 How can one man chase a thousand of them,

and two pursue ten thousand;

unless their Rock had delivered them up,

and the Lord had handed them over?