Euclid I.1 [S1238–S1243]
Theme: Foundations · 6 sentences.
EUC-001 · Euclid I.1 [S1238–S1243]
S1238 Let AB be a bounded segment
S1239 Draw the circles A-B and B-A
S1240 Let C be the point where the circles meet
S1241 From the first circle, CA equals AB
S1242 From the second circle, CB equals AB
S1243 Therefore triangle ABC is equilateral
Generated from registry/entries.yaml.