https://5dok.net/document/zgwd5xkn-de-complexiteit-van-buchbergers-algoritme.html