Source: https://mail.jmap.org/Worksheets/G.CO.C.11.QuadrilateralProofs.pdf