If standard proofs always exist for every non-standard result, non-standard methods yield no genuine...