File:Circle through 3 points proof.ggb