lem⁽⁺⁾·/·o lem⁽⁺⁾·o Asert¹·o, de·monstr⭑·it·a dum⭑ la⭑ pruv⭑·o de⭑ pli⭑ grav⭑·a {teorem²·o} kaj⭑ serv⭑·ant·a al⭑ tiu pruv⭑·o: por⭑ pruv⭑·i teorem²·on, oni uz⭑·as noci⁽⁺⁾·ojn, aksiom¹·ojn, postulat⁽⁺⁾·ojn, antaŭ⭑·e pruv⭑·it·ajn teorem²·ojn kaj⭑ lem⁽⁺⁾·ojn (mal·pli⭑ grav⭑·ajn teorem²·ojn) . {dilem²·o} [artikol⭑-versi⁹·o: 1.18 2024/01/15 16:14:09 ] __________________________________________________________________