https://9lib.org/document/zkw62g38-check-set-r-addition-defined-b-b-group.html