Add new theorems and proofs#16

aleph-prover-dev[bot] wants to merge 1 commit intofork_testlogical-ivan/easy-lean:fork_testfrom

ai-prover-20251218_205528logical-ivan/easy-lean:ai-prover-20251218_205528Copy head branch name to clipboard