G.288 number prime measured — Code

VII.32

Any number either is prime or is measured by some prime number.
A 
"""Programmatic construction for Book VII, Proposition 32 (VII.32)."""

        from __future__ import annotations

        from geometor.model import Model


        def construct_g1() -> Model:
            """Construct the figure 0339.g1 using geometor.model."""
            model = Model("VII.32")

            # Single-letter horizontal number segment A
            A_l = model.set_point(23.0, -14.0, classes=["given"], ID="A")
            A_r = model.set_point(162.0, -14.0, ID="A_r")

            model.set_segment(A_l, A_r)

            return model


        if __name__ == "__main__":
            construct_g1()