https://9lib.co/document/zx5x3lnv-let-ring-s-multiplicative-subset.html