Comments by "Eric Astier" (@ericastier1646) on "A Miraculous Proof (Ptolemy's Theorem) - Numberphile" video.