Freedom of choice needs real alternatives and opposition. But it does not follow that Satan was necessary to God's plan. Satan himself needed freedom of choice in order to become Satan. So our freedom of choice does not come from him. It comes from God.
