true - it is just an inference. But look at Crucuno !
Should have said 'but check the Crucuno Quadrilateral'. See also somewhere in the text of http://www.neara.org/ROS/roscarnac02.htm
.. that, being a great fan of Euclid, I do think it's most likely that the 345 triangle was used
Like all websites everywhere, we use cookies.