Any theorem provable via non-standard analysis is provable via standard analysis by the transfer pri...