del teorema anterior: