Copy of ptolemy's theorems