Целочисленное прочтение предложений I.20, I.47, I.48 и определения I.21 «Начал» Евклида, версия 0.1.0.
Стороны — Integer; «квадрат на стороне» — произведение. Правила I.20, I.47 и I.48 исполняет пакет grc.euclid.stoicheia_i; этот пакет читает их головы и добавляет трихотомию II.12–II.13 и сторож заявленного прямого угла (ἐναντίωσις).
Дело подаёт длины на сущность книги I (pleurai_trigonou). Иррациональные длины невыразимы и не спрашиваются.
