有限個の場合の消去法

「誰だって宝くじを100回買えば1回は必ず当たる」という前提の下で「これまで99回は当たらず今度が100回目である」という事実を加えれば、「今度は当たる」は残った唯一の場合として必ず導かれる。