Non-standard real analysis can prove results in real analysis that were not first proven by standard...