A result 'first proven' by non-standard means but immediately translatable into standard means revea...