tezaŭro: pruvo per indukto