Evaluating the Unseen Capabilities: How Many Theorems Do LLMs Know?