a mistake in III.XXI fixed, some other minor fixes

byrne_context.tex

@@ -93,14 +93,14 @@
 {\tfa github.com/jemmybutton}
 \vskip 0.25\baselineskip
 
-{\tfb 2018 ed.\,0.5}
+{\tfb 2018 ed.\,0.6}
 \vskip \baselineskip
 
 \symbol[cc][cc] \symbol[cc][by] \symbol[cc][sa]
+\vskip 0.25\baselineskip
 
 \startnarrower
 \setuplocalinterlinespace[line=2ex]
-
 {\tfxx This rendition of Oliver Byrne's \quotation{The first six books of the Elements of Euclid} is made by Slyusarev Sergey and  is distributed under CC-BY-SA 4.0 license}
 \stopnarrower
 
@@ -6234,7 +6234,7 @@
 Let the segment be greater than a semicircle, and draw \drawUnitLine{DF} and \drawUnitLine{BF} to the centre.
 
 \startCenterAlign
-$\drawAngle{E} = \mbox{ twice } \drawAngle{A} \mbox{ or twice } = \drawAngle{E}$ \inprop[prop:III.XX];
+$\drawAngle{F} = \mbox{ twice } \drawAngle{A} \mbox{ or twice } = \drawAngle{E}$ \inprop[prop:III.XX];
 
 $\therefore \drawAngle{A} = \drawAngle{E}$
 \stopCenterAlign
@@ -6436,8 +6436,7 @@
 draw byNamedLine(CD);
 draw byNamedArcExact(N);
 draw byLabelsOnPolygon(D, C, noPoint)(0, 0);
-}
-, of circles upon equal straight lines (\drawUnitLine{AB} and \drawUnitLine{CD}) are each equal to the other.}
+}, of circles upon equal straight lines (\drawUnitLine{AB} and \drawUnitLine{CD}) are each equal to the other.}
 
 \startCenterAlign
 For, if
@@ -8633,9 +8632,9 @@
 \stopProposition
 \stopbook
 
-\startbook[title={Book V}]\unskip
+\startbook[title={Book V}]
 
-\startsupersection[title={Definitions}]\unskip
+\startsupersection[title={Definitions}]
 
 \startDefinitionOnlyNumber[reference=def:V.I,ownnumber=1]
 A less magnitude is said to be an aliquot part or submultiple of a greater magnitude, when the less measures the greater; that is, when the less is contained a certain number of times exactly in the greater.
@@ -8653,12 +8652,14 @@
 Magnitudes are said to have a ratio to one another, when they are of the same kind, and the one which is not the greater can be multiplied so as to exceed the other.
 \stopDefinitionOnlyNumber
 
+\vskip \baselineskip
+
 \startalignment[middle]
 \emph{The other definitions will be given throughout the book where their aid is first required.}
 \stopalignment
 \stopsupersection
 
-\startsupersection[title={Axioms}]\unskip
+\startsupersection[title={Axioms}]
 
 \startAxiomOnlyNumber[reference=ax:V.I]
 Equimultiples or equisubmultiples of the same, or of equal magnitudes, are equal.

byrne_ru_context.tex

@@ -104,10 +104,10 @@
 \vskip \baselineskip
 
 \symbol[cc][cc] \symbol[cc][by] \symbol[cc][sa]
+\vskip 0.25\baselineskip
 
 \startnarrower
 \setuplocalinterlinespace[line=2ex]
-
 {\tfxx Эта редакция и~перевод книги Оливера Бирна \emph{The first six books of the Elements of Euclid} подготовлены Сергеем Слюсаревым и~распространяются под лицензией CC-BY-SA 4.0}
 \stopnarrower
 
@@ -891,6 +891,7 @@
 Две прямых линии не содержат пространства.
 \stopAxiomOnlyNumber
 
+\marginNote{Аксиомы XI и~XII, обычно включаются в~качестве IV и~V в~состав постулатов.}
 \startAxiomOnlyNumber[reference=ax:XI]
 Все прямые углы равны между собой.
 \stopAxiomOnlyNumber
@@ -1080,11 +1081,9 @@
 
 $A : B :: C : D$, $A : B = C : D$, или $\dfrac{A}{B} = \dfrac{C}{D}$.
 
-Это равенство или одинаковость отношений читается:
+Это равенство или одинаковость отношений читается: 
 
-как A к~B, так и~C к~D;
-
-или A к~B, как C к~D.
+\emph{как A к~B, так и~C к~D;} или \emph{A к~B, как C к~D.}
 
 \symb{$\parallel$}
  обозначает \emph{параллельно к}.
@@ -1862,7 +1861,7 @@
 draw byLabelPoint(D, lineAngle.CD - 90, 1);
 }
 \drawCurrentPictureInMargin
-\problemNP[3]{Е}{сли}{две прямых линии \drawUnitLine{AB} и~\drawUnitLine{CD} пересекаются, вертикальные углы \drawAngle{BEC} и~\drawAngle{AED}, \drawAngle{CEA} и~\drawAngle{DEB} будут равны между собой.}
+\problemNP{Е}{сли}{две прямых линии \drawUnitLine{AB} и~\drawUnitLine{CD} пересекаются, вертикальные углы \drawAngle{BEC} и~\drawAngle{AED}, \drawAngle{CEA} и~\drawAngle{DEB} будут равны между собой.}
 
 \startCenterAlign
 $\drawAngle{BEC} + \drawAngle{CEA} = \drawTwoRightAngles$ \inprop[prop:I.XIII],
@@ -6254,7 +6253,7 @@
 Пусть сегмент будет больше половины круга, проведем \drawUnitLine{DF} и~\drawUnitLine{BF} к~центру.
 
 \startCenterAlign
-$\drawAngle{E} = \mbox{ дважды } \drawAngle{A} \mbox{ или дважды } = \drawAngle{E}$ \inprop[prop:III.XX];
+$\drawAngle{F} = \mbox{ дважды } \drawAngle{A} \mbox{ или дважды } = \drawAngle{E}$ \inprop[prop:III.XX];
 
 $\therefore \drawAngle{A} = \drawAngle{E}$
 \stopCenterAlign
@@ -6291,7 +6290,7 @@
 }
 \drawCurrentPictureInMargin
 \startsubproposition[title={Случай II.}]
-Пусть сегмент будет меньше половины круга, проведем диаметр \drawUnitLine{GA}, также проведем \drawUnitLine{GE}.
+Пусть сегмент будет меньше или равен половине круга, проведем диаметр \drawUnitLine{GA}, также проведем \drawUnitLine{GE}.
 
 \startCenterAlign
 $\drawAngle{BAG} = \drawAngle{BEG}$ и~$\drawAngle{GAD} = \drawAngle{GED}$ (случай I.)
@@ -8616,9 +8615,9 @@
 \stopProposition
 \stopBook
 
-\startBook[title={Книга V}]\unskip
+\startBook[title={Книга V}]
 
-\startsupersection[title={Определения}]\unskip
+\startsupersection[title={Определения}]
 
 \startDefinitionOnlyNumber[reference=def:V.I,ownnumber=1]
 Меньшая величина называется аликвотой большей, если меньшая измеряет большую, то есть вмещается в~нее целое число раз.
@@ -8636,14 +8635,16 @@
 Про две величины говорят, что они имеют отношение между собой, когда они однородны и~меньшая из них может, взятая кратно, превзойти другую.
 \stopDefinitionOnlyNumber
 
+\vskip \baselineskip
+
 \startalignment[middle]
 \emph{Прочие определения будут даны по ходу изложения там, где в~них возникнет необходимость.}
 \stopalignment
 \stopsupersection
 
 \vfill\pagebreak
 
-\startsupersection[title={Аксиомы}]\unskip
+\startsupersection[title={Аксиомы}]
 
 \startAxiomOnlyNumber[reference=ax:V.I]
 Равнократные или равных величин равны между собой.