נוכחות עד, בהוכחות