let A be non empty set ; :: thesis: not A misses A
thus not A misses A ; :: thesis: verum