well ordering principle in number theory