0 favorites given:
theorem has no favorites yet :(