https://123dok.net/document/zx56oj4w-w-l-formulation-problem-ritt-theorem-variables.html