How did the Devil come to be?

Satan was one of the holy angels until he challenged God and then he was cast out Isaiah 14 ( I think ) is probably the longest reference to it