Ndërtoni një teoremë për të provuar se shuma e dy numrave të çuditshëm është gjithmonë e barabartë.
Le të jetë a, b dy numra të çuditshëm arbitrarë. Pastaj a = 2k + 1 dhe b = 2m + 1 për disa integers k, m. Pastaj a + b = (2k + 1) + (2m + 1) = 2(k + m) + 2 = 2n ku n = k + m është një numër i plotë. Kështu, a + b është gjithmonë një numër i pari.