ھەقىقىي ئىسپات، ئەمەلىي ئىسپات، راست دەلىل