Add new theorems and proofs#15

ai-prover-bot wants to merge 1 commit intomayorov-m-a:mastermayorov-m-a/easy-lean:masterfrom

ai-prover-bot:pair-20251121_221321ai-prover-bot/easy-lean:pair-20251121_221321Copy head branch name to clipboard