How Lemma Enables Continuous Learning for AI Agents