Comment by kozlovsky

> We already encountered a triangle with three right angles on the sphere

Nitpick, but the upper angle of triangle displayed is not right, it's 72 degree (1/5 of 360)