ptolemy's theorem hi your cleanup on this article noted thanks