Listas by prooftheory