TODO: theorems sollten extras erlauben