Every visible triangle is indistinguishable from some spherical triangle, and therefore (by P1) has its visible angles equal to the visible angles in the spherical triangle.
The visible angles in a spherical triangle equal its real angles (from P2).
The real angles in a spherical triangle add up to more than 180 degrees.
To the eye looking out from the center of the sphere, the resulting plane triangle will be indistinguishable from the original spherical triangle (in the sense that one perfectly occludes the other), but it will be a 60-60-60 triangle rather than a 90-90-90 triangle.
The argument is a theoretical argument showing that the angles in any visible triangle are not "strictly and mathematically" equal to the angles in any Euclidean plane triangle, but are equal to the angles in a spherical triangle instead.
Reid would still be able to maintain that the visible triangle presented to us by three such lines of varying brightness or dimness has the angle sum of a spherical triangle.
Visible triangles are indistinguishable from spherical triangles. In particular, for every visible triangle v seen from e, there is a spherical triangle s centered on e such that the apparent magnitudes of angles in v are equal to the apparent magnitudes of angles in s.
In a spherical triangle, the apparent magnitudes of the angles (as seen from the center of the sphere) are equal to their real magnitudes.
The real magnitudes of the angles of a spherical triangle sum to more than 180 degrees.
It is rather that visible triangles have angles that appear equal to the angles in a spherical triangle with certain numerical magnitudes.
This month, we will run through the basic relationships in spherical triangles. Next month, we will apply spherical trigonometry to several practical EW problems.
Right spherical triangles allow the use of a set of simplified trigonometric equations generated by Napier's rules.