nine associated points theorem