teorema e corollario