Changes

Տարերք/Գիրք 7

Ավելացվել է 1527 բայտ, Friday at 20:27
== Պնդում 18 ==
[[Պատկեր:Euclid Elements Book 7 Proposition 18.png|center|250px]]
Եթե չորս թվեր համեմատական են միմյանց, ապա առաջին և չորրորդ թվերի բազմապատկումից ստացված թիվը կլինի հավասար երկրորդի և երրորդի բազմապատկումից ստացված թվին: Եվ եթե առաջինի և չորրորդի բազմապատկումից ստացված թիվը հավասար է երկրորդի և երրորդի բազմապատկումից ստացված թվին, ապա այդ չորս թվերը կլինեն համեմատական:
Օրինակ, A, B, C և D համեմատական թվեր են: Ենթադրենք ինչպես A-ն է հարաբերում B-ին, այնպես էլ C-ն է D-ին: A-ն բազմապատկելով D-ն կստանք E թիվը, իսկ B-ն բազմապատկելով C- թվին կստանանք F թիվը: Կարելի է պնդել, որ E-ն հավասար է F-ին:
== Պնդում 20 ==
Թող լինեն ամենափոքր թվերը, որոնք ունեն նույն հարաբերությունը՝ ինչպես A-ն և B-ն: Ասում եմ, որ CD-ն չափում է A-ն այնքան անգամ, որքան և EF-ն չափում է B-ն՝ մեծը՝ մեծին, և փոքրն՝ փոքրին: Այնպես որ, թող CD և EF լինեն ամենափոքր թվերը, որոնք ունեն նույն հարաբերությունը՝ A-ի և B-ի հետ համապատասխանաբար: Ես ասում եմ, որ CD-ն չափում է A-ն նույն քանակությամբ անգամ, որքան EF-ն չափում է B-ն։
[[Պատկեր:Euclid Elements Book 7 Proposition 20.png|center|250px]]
Եթե հնարավոր է, Դիցուք, CD-ն չլինի A-ի մաս: Եվ եթե EF-ն իսկապես այն նույն մասերն ունի B-ի, որոնք CD-ն ունի A-ի մասերից, ապա այն հնարավոր է։ Ինչքան որ մասեր կան CD-ում, նույնքան մասեր կան EF-ում՝ B-ի մասերից։ Let CD բաժանվի A-ի մասերի՝ CG և GD, իսկ EF բաժանվի B-ի մասերի՝ EH և HF։ Եվ այդ դեպքում, CG և GD բաժանումների թվաքանակը հավասար կլինի EH և HF բաժանումների թվաքանակին։ Եվ քանի որ CG և GD թվերը հավասար են միմյանց, նույնպես EH և HF թվերը հավասար են միմյանց, և հարաբերությունը CG-ի և EH-ի միջև նույնն է, ինչ հարաբերությունը GD-ի և HF-ի միջև։ Հետևաբար, ինչպես CG-ն է հարաբերակցվում EH-ի հետ, այնպես էլ GD-ն է հարաբերակցվում HF-ի հետ։ Դրանից հետո, որպես հետևանք, ինչպես յուրաքանչյուր առաջատար մաս՝ ΓΗ միանում է հետագային ΕΘ, այնպես էլ այն մագլցած մասերը ΓΔ և ΕΖ՝ նույն հարաբերությամբ՝ լինում են համարժեք։
Դիցուք, A եւ B թվերը պարզ թվեր ենէ : Կարելի է պնդել, , որ A եւ B թվերը, նրանց պես հարաբերություն ունեցող թվերից ամենափոքր թվերն են: Եթե դա այդպես չէ, ապա կլինեն ինչ-որ թվեր, որոնք A եւ B-ից փոքր կլինեն և նրանք կհարաբերեն նույնպես, ինչպես A եւ B-: Թող դրանք լինեն C եւ D:
[[Պատկեր:Euclid Elements Book 7 Proposition 21.png|center|250px]]
Ասպիսով, քանի որ այս թվերը նվազագույններն են, որոնք նույն հարաբերությունն ունեն, և մեծ հարաբերությունը չափում է մեծին, և փոքրն այնքանն է, որքան փոքրին՝ այսինքն, ավելի մեծը հարաբերում է ավելի մեծին, իսկ ավելի փոքրը ՝ փոքրին։ Այսպիսով, որքան որ C հարաբերում է Aին, այնքան անգամեր թող լինեն E-ում։ Եվ D-ը, ամփոփելով B-ը, E-ում չափում է ըստ նույն միավորների։ Այսպես, քանի որ C-ը հարաբերում է Aին ըստ E-ում առկա միավորների, E-ն էլ, ըստ C-ի, հարաբերում է Aին նույնչափ ։ Հետևաբար E-ն և B-ը չափում են D-ում առկա միավորներով։ Այնպես որ, հնարավոր չէ, որպեսզի A-ի և B-ից ավելի փոքր թվեր լինեն, որոնք նույն հարաբերությունն ունեն A և B թվերի հետ։ Հետեւաբար, A և B-ն են այդ թվերը, որոնք նույն հարաբերությունն ունեն։ Սա հենց այն բանն է, որը պետք էր ապացուցել:
Այն նվազագույն թվերը, որոնք ունեն նույնպիսի հարաբերություն, միմյանց նկատմամբ
ունեն ընդհանուր բազմապատիկ և նրանք պարզ թվեր են:
[[Պատկեր:Euclid Elements Book 7 Proposition 22.png|center|250px]]
Դիցուք A և B լինեն ամենափոքր թվերը նրանցից, որոնք ունեն նույն հարաբերակցությունը, ինչ նրանք։ Կարելի է պնդել, որ A-ն և B-ն փոխադարձաբար պարզ են։
Քանի որ, եթե A-ն և B-ն փոխադարձաբար պարզ չեն, ապա ինչ-որ թիվ կբաժանի նրանց։ Թող այդ թիվը լինի C :
== Պնդում 23 ==
Եթե երկու թվեր փոխադարձաբար պարզ են, ապա դրանցից մեկը բաժանող թիվը կմնա փոխադարձաբար պարզ մյուս թվի հետ։
[[Պատկեր:Euclid Elements Book 7 Proposition 23.png|center|250px]]
Դիցուք A և B լինեն փոխադարձաբար պարզ թվեր, և թող մի թիվ C բաժանի A-ին։ Ասում եմ, որ C-ն և B-ն նույնպես փոխադարձաբար պարզ են։
Եթե C-ն և B-ն փոխադարձաբար պարզ չեն, ապա մի թիվ կբաժանի C-ն և B-ն։ Թող այդ թիվը լինի D։ Քանի որ D-ն բաժանում է C-ն, իսկ C-ն բաժանում է A-ն, ապա D-ն նաև բաժանում է A-ն։ Եվ D-ն բաժանում է նաև B-ն։
== Պնդում 24 ==
Եթե երկու թվեր փոխադարձաբար պարզ են որևէ թվի հետ, ապա դրանցից բազմապատկված, ստեղծված թիվը նույնպես փոխադարձաբար պարզ կլինի նույն թվի հետ։
[[Պատկեր:Euclid Elements Book 7 Proposition 24.png|center|250px]]
Դիցուք, A և B լինեն երկու թվեր, որոնք երկուսն էլ փոխադարձաբար պարզ են C-ի հետ։ Թող A-ն B-ն բազմապատկելով ստեղծի D-ն։ Կարելի է պնդել, որ C-ն և D-ն նույնպես փոխադարձաբար պարզ են։
Եթե C-ն և D-ն փոխադարձաբար պարզ չեն, ապա ինչ-որ թիվ կբաժանի C-ն և D-ն։ Թող այդ թիվը լինի E։ Եվ քանի որ C-ն և A-ն փոխադարձաբար պարզ են, իսկ E-ն բաժանում է C-ին, ապա A-ն և E-ն նույնպես փոխադարձաբար պարզ են։
Եթե երկու թվեր փոխադարձաբար պարզ են, ապա դրանցից մեկի քառակուսիով ստեղծված թիվը փոխադարձաբար պարզ կլինի մյուսի հետ։
Դիցուք A և B երկու պարզ թվեր են, որոնք փոխադարձաբար պարզ են։ Թող A-ն ինքն իրեն բազմապատկելով ստեղծի C-ն։ Կարելի է պնդել , որ B-ն և C-ն փոխադարձաբար պարզ են։
[[Պատկեր:Euclid Elements Book 7 Proposition 25.png|center|250px]]
Դիցուք D լինի հավասար A-ին։ Քանի որ A և B փոխադարձաբար պարզ են, իսկ A հավասար է D-ին, ապա D-ն և B-ն նույնպես փոխադարձաբար պարզ են։ Այսպիսով, D-ն և A-ն երկուսն էլ փոխադարձաբար պարզ են B-ի հետ։
Այլ կերպ ասած, D-ից և A-ից ստացված թիվը նույնպես փոխադարձաբար պարզ կլինի B-ի հետ։ Եվ C-ն է այն թիվը, որը ստացվում է D-ի և A-ի բազմապատկումով։ Այսպիսով, C-ն և B-ն նույնպես փոխադարձաբար պարզ են։ Սա է այն, ինչ պետք էր ցույց տալ։
== Պնդում 26 ==
Եթե երկու թվերն էլ փոխադարձաբար պարզ են երկու թվերի հետ, ապա դրանցից բազմապատկված, ստացված թվերը նույնպես փոխադարձաբար պարզ կլինեն իրար հետ։
[[Պատկեր:Euclid Elements Book 7 Proposition 26.png|center|250px]]
Դիցուք A և B երկու թվեր լինեն, որոնք երկուսն էլ փոխադարձաբար պարզ են երկու այլ թվերի՝ C-ի և D-ի հետ։ Դիցուք, A-ն B-ի հետ բազմապատկելով ստանանք E-ն, և թող C-ն D-ի հետ բազմապատկելով ստանանք F-ն։ Ասում եմ, որ E և F փոխադարձաբար պարզ են։
Քանի որ A-ն և B-ն երկուսն էլ փոխադարձաբար պարզ են C-ի հետ, ապա A-ի և B-ի բազմապատկմամբ ստացված թիվը նույնպես փոխադարձաբար պարզ կլինի C-ի հետ։ Այսպիսով, E-ն և C-ն փոխադարձաբար պարզ են։
== Պնդում 27 ==
Եթե երկու թվեր փոխադարձաբար պարզ են իրարից, և յուրաքանչյուրը նրանցից որոշ թիվ է ստեղծում՝ ինքն իրեն բազմապատկելով, ապա դրանցից ստացված թվերը նույնպես կլինեն փոխադարձաբար պարզ։ Եվ եթե սկզբնական թվերը ստեղծեն որոշ թվեր՝ ստեղծված թվերը բազմապատկելով, ապա դրանք ևս կլինեն փոխադարձաբար պարզ։ Սա միշտ տեղի է ունենում ծայրամասերի վերաբերյալ։
[[Պատկեր:Euclid Elements Book 7 Proposition 27.png|center|250px]]
Դիցուք A և B երկու թվեր են, որոնք փոխադարձապես պարզ են, և թող A ստեղծի C՝ ինքն իրեն բազմապատկելով, իսկ B՝ E՝ ինքն իրեն բազմապատկելով։ Եվ թող A բազմապատկի C՝ ստանալով D, իսկ B բազմապատկի E՝ ստանալով F։ Կարելի է պնդել, որ C և E, և D և F կլինեն փոխադարձաբար պարզ։
Որովհետև A և B փոխադարձապես պարզ են, և A ինքն իրեն բազմապատկելով ստեղծել է C, ապա C և B նույնպես կլինեն փոխադարձապես պարզ։ Այնպես որ, C և B փոխադարձապես պարզ են, և B ինքն իրեն բազմապատկելով ստեղծել է E, ուստի C և E նույնպես փոխադարձապես պարզ են։ Նորից, քանի որ A և B փոխադարձապես պարզ են, և B ինքն իրեն բազմապատկելով ստեղծել է E, ապա A և E նույնպես փոխադարձապես պարզ են։ Այնպես որ, քանի որ երկու թիվ՝ A և C, երկուսն էլ փոխադարձաբար պարզ են երկու թվերից՝ B և E, A և C բազմապատկելով ստացած թիվը (D) կլինի B և E բազմապատկելով ստացված թվից (F) փոխադարձապես պարզ։
Եթե երկու թիվեր պարզ են, ապա նրանց գումարը նույնպես կլինի պարզ յուրաքանչյուրին։ Եվ եթե այդ գումարը պարզ է ինչ-որ մեկի հետ, ապա սկզբնական թվերը նույնպես պարզ կլինեն
[[Պատկեր:Euclid Elements Book 7 Proposition 28.png|center|250px]]
Դիցուք երկու թվերը՝ AB և BC, որոնք պարզ են, տրված են: Կարելի է պնդել, որ նրանց գումարը՝ AC, նույնպես պարզ կլինի յուրաքանչյուրի համար՝ AB և BC:
Եթե քաղված AC և AB միմյանց պարզ չեն չեն, ապա կգտնվի ինչ-որ թիվ, որը չափում է AC և AB: Թող այդ թիվը լինի D: Ենթադրենք, որ D չափում է AC և AB, ապա այն նույնպես պետք է չափի BC: Բայց քանի որ AB և BC միմյանց պարզ են, դա անհնար է: Հետևաբար, AC և AB պետք է միմյանց պարզ լինեն:
== Պնդում 29 ==
Յուրաքանչյուր պարզ թիվ առաջին է բոլոր այն թվերի հետ, որոնք ինքը չի չափում
[[Պատկեր:Euclid Elements Book 7 Proposition 29.png|center|250px]]
Դիցուք, A-ն պարզ թիվ է, և B-ն այնպիսի թիվ է, որ A-ն չի չափում։ Կարելի է, որ B-ն և A-ն միմյանց նկատմամբ պարզ են։
Որպեսզի եթե B-ն և A-ն միմյանց նկատմամբ պարզ չեն, ապա մի թիվ կլինի, որը նրանց չափում է։ Թող C-ն չափի նրանց։ Քանի որ C-ն չափում է B-ն, իսկ A-ն չի չափում B-ն, ապա C-ն պետք է տարբեր լինի A-ից։ Եվ քանի որ C-ն չափում է B-ն և A-ն, ապա C-ն պետք է չափի նաև A-ն՝ չնայած նրան, որ չի համընկնում նրա հետ։ Բայց սա անհնար է։ Այնպես որ, չի կարող լինել որևէ թիվ, որը կչափի B-ն և A-ն։ Այդպիսով, A-ն և B-ն միմյանց նկատմամբ պետք է լինեն պարզ։
== Պնդում 30 ==
Եթե երկու թիվը իրար բազմապատկելով ստանում են ինչ-որ թիվ, և այդ թվից մեկը չափվում է մի պարզ թվով, ապա սկզբնական թվերից մեկը նույնպես պետք է չափվի
[[Պատկեր:Euclid Elements Book 7 Proposition 30.png|center|250px]]
Թող երկու թիվ A և B ստեղծեն C՝ իրար բազմապատկելով, և թող ինչ-որ պարզ թիվ D հավասար լինի C-ին: Ես ասում եմ, որ D-ը պետք է հավասար լինի A կամ B:
Թող D-ն չհավասար է A, և քանի որ D-ը պարզ է, ապա A և D թվերը միմյանց նկատմամբ պարզ են: Եվ քանի որ D-ն հավասար է C-ին, ապա այն պետք է հավասար է E-ին այնքան անգամ, որքան D-ն հավասար է C-ին: Իսկ քանի որ D-ն հավասար է C-ին ըստ E-ի, ապա D-ն ստեղծում է C՝ բազմապատկելով E: Բայց իսկապես, նաև A-ն ստեղծում է C՝ B-ի հետ բազմապատկելով: Այսպիսով, ստեղծված թիվը D և E թվերից հավասար է A և B թվերի բազմապատկմանը:
Ամեն բաղադրյալ թիվը չափվում է ինչ-որ պարզ թվով:
[[Պատկեր:Euclid Elements Book 7 Proposition 31.png|center|250px]]
Դիցուք A-ն բաղադրյալ թիվ է։ Կարելի է պնդել, որ A-ն չափվում է ինչ-որ պարզ թվով։
Ամեն թիվ կամ պարզ է, կամ չափվում է ինչ-որ պարզ թվով։
[[Պատկեր:Euclid Elements Book 7 Proposition 32.png|center|250px]]
Դիցուք A թիվ է: Կարելի է պնդել, որ A-ն կամ պարզ է, կամ չափվում է ինչ-որ պարզ թվով:
Եթե A-ն պարզ է, ապա այն, ինչ նախատեսված էր, տեղի է ունենում: Իսկ եթե այն բաղադրյալ է, ապա ինչ-որ պարզ թիվ կչափի այն:
Թող A, B, և C լինեն ցանկացած տրված թվեր: Պետք է գտնենք նրանցից ամենափոքրին, որոնք ունեն նույն հարաբերակցությունը՝ ինչպես A, B, և C:
Իրականում, եթե A, B և C իրար հետ պարզ են, ապա նրանք կլինեն ամենափոքրն այն թվերից, որոնք ունեն նույն հարաբերակցությունը՝ ինչպես տրված թվերն են:
[[Պատկեր:Euclid Elements Book 7 Proposition 33.png|center|250px]]
Դիցուք ունենք A, B և C թվերի առավելագույն ընդհանուր չափը՝ D, և որքանով D չափում է A, B և C, այնքան ամեն մի թիվ՝ E, F և G, համապատասխանաբար չափում է A, B և C ըստ D-ի միավորների:
== Պնդում 34 ==
Դիցուք A և B թվերը տրված են։ Պետք է գտնենք այն ամենափոքր թիվը, որը կչափեն երկու տրված թվերը:
[[Պատկեր:Euclid Elements Book 7 Proposition 34.png|center|250px]]
Դիցուք, A և B լինի միմյանցից անկախ թվեր են:թող A C ստանա՝ բազմապատկելով B: Այսպիսով, B նույնպես C ստացրեց՝ բազմապատկելով A Այսպիսով, A և B երկուսն էլ չափում են C:
Այնպես որ, A-ի և E-ի բազմապատկմամբ ստացված թիվը հավասար է B-ի և F-ի բազմապատկմամբ ստացված թվին [Prop. 7.19]: Եվ թող A-ը ստանա C՝ բազմապատկելով E: Այսպիսով, B-ն նույնպես ստանում է C՝ բազմապատկելով F: Ուրեմն,, A և B երկուսն էլ հարաբերում են C:
Ես ասում եմ, որ C-ն նույնպես ամենափոքրն է (թիվը, որը նրանք երկուսն էլ հարաբերում են): Եթե ոչ, A և B երկուսն էլ կհարաբերեն մի թիվ, որը ավելի փոքր է, քան C: Թող նրանք երկուսն էլ հարաբերեն D (որը ավելի փոքր է, քան C):
[[Պատկեր:Euclid Elements Book 7 Proposition 34 part 2.png|center|250px]]
Եվ որքան անգամ A հարաբերում է D, նույնքան միավորներ թող լինեն G-ում: Եվ որքան անգամ B հարաբերում է D, նույնքան միավորներ թող լինեն H-ում: Այսպիսով, A ստացրեց D՝ բազմապատկելով G, իսկ B ստացրեց D՝ բազմապատկելով H: Այսպիսով, ինչպես A-ն է B-ին, այնպես էլ H-ն է G-ին [Prop. 7.19]:
Եվ քանի որ A-ը ստացավ C և D՝ բազմապատկելով E և G համապատասխանաբար, ապա ինչպես E-ն է G-ին, այնպես էլ C-ն է D-ին [Prop. 7.17]: Եվ E-ն հարաբերում է G: Այսպիսով, C-ն նույնպես հարաբերում է D՝ մեծը հարաբերում է փոքրին: Դա անհնար է: Այսպիսով, A և B չեն հարաբերում մի թիվ, որը ավելի փոքր է, քան C: Հետևաբար, C-ն այն ամենափոքր թիվն է, որը հարաբերում են A-ն և B-ն: Սա հենց այն է, ինչ պետք էր ցույց տալ:
== Պնդում 35 ==
Եթէ երկու թվերին հարաբերեն ինչ-որ թիվ, ապա դրանցից ամենափոքրը, որն իրենով հարաբերում է այդ թիվը, նույնպես կհարաբերի նույն թվին:
Եվ այո, Դիցուք, A և B, հարաբերում են ինչ-որ թիվ CD, և թող E լինի ամենափոքրը, որն հարաբերում է ինչպես A-ն, այնպես էլ B-ն: Ես ասում եմ, որ E նույնպես հարաբերում է CD:
Եթե E չի հարաբերում CD, թող E թողնի CF, որը փոքր է իրենից (հարաբերելով DF): Եվ քանի որ A-ն և B-ն հարաբերում են E-ին, իսկ E-ն հարաբերում է DF, ապա A-ն և B-ն նույնպես կհարաբերեն DF: Եվ (A-ն և B-ն) նույնպես հարաբերում են ամբողջ CD-ն: Այնպես որ, նրանք նույնպես կհարաբերեն մնացորդը՝ ΓΔ, որը փոքր է E-ից: Ինչպես տեսնում ենք, դա անհնար է: Այնպես որ, E չի կարող չհարաբերում CD-ին: Նշանակում է, որ (E) հարաբերում է CD: Այդ ամենը հենց այն է, ինչ պետք էր ապացուցել:
== Պնդում 36 ==
Այսպես, A, B և C երեք տրված թվեր են։ Պետք է գտնել այն ամենափոքր թիվը, որը հարաբերում է նրանց բոլորին:
[[Պատկեր:Euclid Elements Book 7 Proposition 36.png|center|250px]]
Դիցուք A, B և C թվեր են, որոնցից յուրաքանչյուրն ունի որոշակի հարաբերություն։
Պետք է գտնել այն ամենափոքր թիվը, որը հարաբերում է բոլոր երեք թվերին։
== Պնդում 37 ==
Եթե մի թիվ չափվում է մեկ այլ թվով, ապա այդ թիվը կունենա մաս, որն անվանվում է նույն անունով, ինչ մյուս թիվը:
[[Պատկեր:Euclid Elements Book 7 Proposition 37.png|center|250px]]
Դիցուք A թիվը չափվում է B թվով։ Ես ասում եմ, որ A-ն ունի մաս, որը կոչվում է նույն անունով, ինչ B-ն։ Քանի անգամ B-ն հարաբերում է A-ին, այդքան շատ միավորներ լինեն C-ում։ Քանի որ B-ն չափում է A-ն ըստ C-ի միավորների, և D միավորը նույնպես չափում է C թիվը ըստ նրա մեջ եղած միավորների, ապա D միավորը այնքան անգամ կչափի C թիվը, որքան B-ն՝ A-ն։ Հետևաբար, D միավորը չափում է B թիվը, ինչպես C-ն՝ A-ն։ Եվ այսպես, ամեն մի մասնաբառ, որը D միավորը B թվի մաս է, նույն անունով մասն է նաև C-ի A թվի համար։ Հետևաբար, A-ն ունի C մասը, որը կոչվում է նույն անունով, ինչ B-ն։ Դա հենց այն է, ինչ պետք էր ապացուցել։
Եթե թիվը բաժանվում է որոշակի մասերի (մասնիկների), ապա այդ մասերից յուրաքանչյուրն ունի համապատասխան թվային նշանակություն, որը կոչվում է այդ մասի անվանումը
[[Պատկեր:Euclid Elements Book 7 Proposition 38.png|center|250px]]
Տրված լինի, որ թիվ A-ն ունի որևէ մաս, օրինակ՝ B։ Եվ թող C-ը լինի այն թիվը, որը կոչվում է նույն անունով, ինչ B (ինչպես՝ B-ն A-ի C-րդ մասը է): Ես ասում եմ, որ C-ն չափում է A-ն։
Քանի որ B-ն A-ի մի մասն է, որն ունի նույն անունը, ինչ C, ապա նաև D միավորը C-ի մաս է, որն ունի նույն անունը՝ այն է՝ D-ն C-ի C-րդ մասն է։ Եվ հետևաբար, ինչպես D-ն C-ն է չափում, այնպես էլ B-ն չափում է A-ն։ Այսպես, ի վերջո, D-ն B-ն է չափում նույնքան անգամ, ինչքան C-ն չափում է A-ն։
Ենթադրենք, որ տրված մասերն են A, B և C։ Պետք է գտնվի նվազագույն թիվը, որը կունենա A, B և C մասերը։
[[Պատկեր:Euclid Elements Book 7 Proposition 39.png|center|250px]]
Լավ, ենթադրենք, որ A, B և C մասերի համար գոյություն ունեն համանուն թվեր, որոնց անունները կհամապատասխանեն համապատասխան մասերին (A-ին՝ D, B-ին՝ E, C-ին՝ F)։ Այնպես որ, նվազագույն թիվը՝ G, որն ունի A, B և C մասերը, չափվում է D, E և F թվերով։
Եվ G-ն իր հերթին կունենա մասեր, որոնք համանուն են D, E և F թվերին։ Ուստի, G-ն կունենա նաև A, B և C մասերը։ Ապա ես ասում եմ, որ G-ն, լինելով նվազագույնը, եթե ոչ, ապա լինի մի թիվ՝ H, որը կլինի G-ից փոքր, բայց կունենա A, B և C մասերը։ Այս դեպքում, եթե H-ն ունի A, B և C մասերը, ապա այն կչափվի D, E և F թվերով։ Բայց քանի որ H-ն փոքր է G-ից, դա անհնար է։