data/euclid-elements-book-i.mmd

graph TD
    P1["Post. 1\nDraw a straight line from any po..."]
    P2["Post. 2\nProduce a finite straight line c..."]
    P3["Post. 3\nDescribe a circle with any cente..."]
    P4["Post. 4\nAll right angles equal one another"]
    P5["Post. 5\nParallel postulate: if interior ..."]
    CN1["CN 1\nThings equal to the same thing a..."]
    CN2["CN 2\nIf equals are added to equals, t..."]
    CN3["CN 3\nIf equals are subtracted from eq..."]
    CN4["CN 4\nThings coinciding with one anoth..."]
    CN5["CN 5\nThe whole is greater than the part"]
    Prop1["Prop. I.1\nEquilateral triangle on given line"]
    Prop2["Prop. I.2\nPlace line equal to given at point"]
    Prop3["Prop. I.3\nCut off from greater segment equal to less"]
    Prop4["Prop. I.4\nSAS congruence"]
    Prop5["Prop. I.5\nBase angles of isosceles equal"]
    Prop6["Prop. I.6\nSides opposite equal angles equal"]
    Prop7["Prop. I.7\nUniqueness of triangle from ends"]
    Prop8["Prop. I.8\nSSS congruence"]
    Prop9["Prop. I.9\nBisect angle"]
    Prop10["Prop. I.10\nBisect line"]
    Prop11["Prop. I.11\nPerpendicular from point on line"]
    Prop12["Prop. I.12\nPerpendicular from point not on line"]
    Prop13["Prop. I.13\nAngles on line sum to two right"]
    Prop14["Prop. I.14\nIf angles sum to two right, straight line"]
    Prop15["Prop. I.15\nVertical angles equal"]
    Prop16["Prop. I.16\nExterior angle > interior opposite"]
    Prop17["Prop. I.17\nSum of two angles < two right"]
    Prop18["Prop. I.18\nAngle opposite greater side greater"]
    Prop19["Prop. I.19\nSide opposite greater angle greater"]
    Prop20["Prop. I.20\nTriangle inequality"]
    Prop21["Prop. I.21\nLines from ends within triangle"]
    Prop22["Prop. I.22\nConstruct triangle from three lines"]
    Prop23["Prop. I.23\nConstruct angle equal to given"]
    Prop24["Prop. I.24\nSAS for greater angle => greater base"]
    Prop25["Prop. I.25\nSAS for greater base => greater angle"]
    Prop26["Prop. I.26\nAAS congruence"]
    Prop27["Prop. I.27\nAlternate angles equal => parallel"]
    Prop28["Prop. I.28\nExterior = interior opposite => parallel"]
    Prop29["Prop. I.29\nParallel => alternate angles equal"]
    Prop30["Prop. I.30\nTransitivity of parallel"]
    Prop31["Prop. I.31\nDraw parallel through point"]
    Prop32["Prop. I.32\nExterior angle = sum interior opposite"]
    Prop33["Prop. I.33\nJoining ends of equal parallel lines"]
    Prop34["Prop. I.34\nParallelogram properties"]
    Prop35["Prop. I.35\nParallelograms same base equal"]
    Prop36["Prop. I.36\nParallelograms equal bases equal"]
    Prop37["Prop. I.37\nTriangles same base equal"]
    Prop38["Prop. I.38\nTriangles equal bases equal"]
    Prop39["Prop. I.39\nEqual triangles same base same side"]
    Prop40["Prop. I.40\nEqual triangles equal bases same side"]
    Prop41["Prop. I.41\nParallelogram = 2× triangle"]
    Prop42["Prop. I.42\nConstruct parallelogram = triangle"]
    Prop43["Prop. I.43\nComplements of parallelogram"]
    Prop44["Prop. I.44\nApply parallelogram to line"]
    Prop45["Prop. I.45\nConstruct parallelogram = rectilinear figure"]
    Prop46["Prop. I.46\nConstruct square on line"]
    Prop47["Prop. I.47\nPythagorean theorem"]
    Prop48["Prop. I.48\nConverse Pythagorean"]
    P1 --> Prop1
    P3 --> Prop1
    Prop1 --> Prop2
    P1 --> Prop2
    P2 --> Prop2
    P3 --> Prop2
    Prop2 --> Prop3
    P3 --> Prop3
    CN4 --> Prop4
    CN5 --> Prop4
    Prop3 --> Prop5
    Prop4 --> Prop5
    Prop3 --> Prop6
    Prop4 --> Prop6
    Prop5 --> Prop7
    Prop7 --> Prop8
    Prop1 --> Prop9
    Prop3 --> Prop9
    Prop8 --> Prop9
    Prop1 --> Prop10
    Prop4 --> Prop10
    Prop9 --> Prop10
    Prop1 --> Prop11
    Prop3 --> Prop11
    Prop8 --> Prop11
    Prop8 --> Prop12
    Prop10 --> Prop12
    Prop11 --> Prop13
    Prop13 --> Prop14
    Prop13 --> Prop15
    Prop3 --> Prop16
    Prop4 --> Prop16
    Prop10 --> Prop16
    Prop15 --> Prop16
    Prop13 --> Prop17
    Prop16 --> Prop17
    Prop3 --> Prop18
    Prop5 --> Prop18
    Prop16 --> Prop18
    Prop5 --> Prop19
    Prop18 --> Prop19
    Prop3 --> Prop20
    Prop5 --> Prop20
    Prop19 --> Prop20
    Prop16 --> Prop21
    Prop20 --> Prop21
    Prop3 --> Prop22
    Prop20 --> Prop22
    Prop8 --> Prop23
    Prop22 --> Prop23
    Prop3 --> Prop24
    Prop4 --> Prop24
    Prop5 --> Prop24
    Prop19 --> Prop24
    Prop23 --> Prop24
    Prop4 --> Prop25
    Prop24 --> Prop25
    Prop3 --> Prop26
    Prop4 --> Prop26
    Prop16 --> Prop26
    Prop16 --> Prop27
    Prop13 --> Prop28
    Prop15 --> Prop28
    Prop27 --> Prop28
    Prop13 --> Prop29
    Prop15 --> Prop29
    Prop27 --> Prop29
    P5 --> Prop29
    Prop29 --> Prop30
    Prop23 --> Prop31
    Prop27 --> Prop31
    Prop13 --> Prop32
    Prop29 --> Prop32
    Prop31 --> Prop32
    Prop4 --> Prop33
    Prop27 --> Prop33
    Prop29 --> Prop33
    Prop4 --> Prop34
    Prop26 --> Prop34
    Prop29 --> Prop34
    Prop4 --> Prop35
    Prop29 --> Prop35
    Prop34 --> Prop35
    Prop33 --> Prop36
    Prop34 --> Prop36
    Prop35 --> Prop36
    Prop31 --> Prop37
    Prop34 --> Prop37
    Prop35 --> Prop37
    Prop31 --> Prop38
    Prop34 --> Prop38
    Prop36 --> Prop38
    Prop31 --> Prop39
    Prop37 --> Prop39
    Prop31 --> Prop40
    Prop38 --> Prop40
    Prop34 --> Prop41
    Prop37 --> Prop41
    Prop10 --> Prop42
    Prop23 --> Prop42
    Prop31 --> Prop42
    Prop38 --> Prop42
    Prop41 --> Prop42
    Prop34 --> Prop43
    Prop15 --> Prop44
    Prop29 --> Prop44
    Prop31 --> Prop44
    Prop42 --> Prop44
    Prop43 --> Prop44
    Prop14 --> Prop45
    Prop29 --> Prop45
    Prop30 --> Prop45
    Prop33 --> Prop45
    Prop34 --> Prop45
    Prop42 --> Prop45
    Prop44 --> Prop45
    Prop3 --> Prop46
    Prop11 --> Prop46
    Prop29 --> Prop46
    Prop31 --> Prop46
    Prop34 --> Prop46
    Prop4 --> Prop47
    Prop14 --> Prop47
    Prop31 --> Prop47
    Prop41 --> Prop47
    Prop46 --> Prop47
    Prop3 --> Prop48
    Prop8 --> Prop48
    Prop11 --> Prop48
    Prop47 --> Prop48
    classDef postulate fill:#e74c3c,color:#fff,stroke:#c0392b
    classDef commonNotion fill:#9b59b6,color:#fff,stroke:#8e44ad
    classDef proposition fill:#1abc9c,color:#fff,stroke:#16a085
    class P1,P2,P3,P4,P5 postulate
    class CN1,CN2,CN3,CN4,CN5 commonNotion
    class Prop1,Prop2,Prop3,Prop4,Prop5,Prop6,Prop7,Prop8,Prop9,Prop10,Prop11,Prop12,Prop13,Prop14,Prop15,Prop16,Prop17,Prop18,Prop19,Prop20,Prop21,Prop22,Prop23,Prop24,Prop25,Prop26,Prop27,Prop28,Prop29,Prop30,Prop31,Prop32,Prop33,Prop34,Prop35,Prop36,Prop37,Prop38,Prop39,Prop40,Prop41,Prop42,Prop43,Prop44,Prop45,Prop46,Prop47,Prop48 proposition