Not necessarily.
I know what you're saying, and I see the supposed contradiction, but could not God, at the time of Genesis 3 (or thereabouts), create Sheol with the intention of imprisoning Lucifer and his angel (now demonic) subordinates while at the same time intending to redeem all of...