In[]:=
RandomInstance
Euclid book 1 proposition 3
GEOMETRIC SCENE
["Scene"]
Out[]=
Step
1
2
3
Conclusion
EuclideanDistance[A.,F.]EuclideanDistance[C.,D.]