Title: plain and spherical trigonometry