carnots polygon theorem