https://5dok.net/document/qmj8v2x5-university-groningen-angle-rigidity-graph-theory-formations-liangming.html