https://9dok.net/document/qvlmrw1r-isoperimetric-inequality-in-the-grushin-plane.html