Every valid classical proof translates to IST via transfer; if classical analysis works, IST's frame...
This proposition has not been edited since the history system was added.