Therefore, unrestricted choice functions in constructive mathematics generate a contradiction with i...