tezaŭro: pruvo per redukto al absurdo