Angles intérieurs, angles extérieurs, dérivations