In this case the mind is fain to find out some other angles, to which the three angles of a triangle have an equality; and, finding those equal to two right ones, comes to know their equality to two right ones.