#recuperación de teoremas