Add new theorems and proofs#34

demo-pr-pusher[bot] wants to merge 1 commit intomastermayorov-m-a/easy-lean:masterfrom

ai-prover-20251226_181845mayorov-m-a/easy-lean:ai-prover-20251226_181845Copy head branch name to clipboard