超準解析で証明出来る定理は超準解析なしでも証明できるよ。