suggest adding another non standard ivt reference in addition to the alternative proof link non standard calculus possibly add refference to the constructivist analysis article there is a is a long section on ivt in that page the constructivist analysis ivt section forward references to this page a link to that discussion might be usefull in this article however i believe the that the the discussion of 'classical analysis ivt' on that page is not in close aggrement with this page