A direct proof of the confluence of combinatory strong reduction