working model of angle sum property