Ptolemaeus bewezen door inversie