Changes
== Պնդում 8 ==
mekel screenshot #8
Քանի որ ԱԲ-ն մեծ է Ց-ից, թող ԲԵ-ն լինի հավասար Ց-ին։ Այսպիսով ԱԵ-ի և ԵԲ-ից փոքրը , բազմապատկելով երբեմն մեծ կլինի Դ-ից [Սահմանում 5.4]: Առաջինը, թող ԱԵ-ն փոքր կլինի քան ԵԲ-ն և թող ԱԵ-ն լինի բազմապատկված, և թող ՖԳ-ն լինի դրա բազմապատիկը, որը ավելի մեծ է քան Դ-ն։ Եվ քանի անգամ ՖԳ-ն բաժանվում է ԱԵ-ի այդքան անգամ էլ թող ԳՀ-ն բաժանվի ԵԲ-ին և Կ-ն Ց-ին։ Եվ թող Դ-ի կրկնապատիկ Լ-ը վերցված լինի և եռակի բազմապատիկ Մ-ը և ուրիշները՝ յուրաքանչյուրը մեծանալով մեկով ըստ հերթականության, մինչև որ վերցված բազմապատիկը լինում է Դ-ի առաջին բազմապատիկը, որը մեծ է Կ-ից։ Թող դա վերցված լինի և թող դա նույնպես լինի Դ-ի քառակի բազմապատիկ Ն-ը՝ առաջին բազմապտիկը Կ-ից մեծ։
Հետևաբար քանի որ Կ-ն փոքր է Ն-ից, ապա Կ-ն փոքր չէ Մ-ից։ Եվ քանի որ ՖԳ-ն ու ԳՀ-ը համապատասխանաբար ԱԵ-ի և ԵԲ-ի հավասար բազմապատիկներ են, հետևաբար ՖԳ-ն ու ՖՀ-ը ԱԵ-ի և ԱԲ—ի համապատասխանաբար հավասար բազմապատիկներ են։ Այդ իսկ պատճառով
== Պնդում 9 ==
