A proof strategy that essentially exploits completeness cannot be transferred hyperreal-to-real even...