After defining biproportion (or RAS) rigorously, we recall two fundamental theorems: unicity of biproportion (any biproportional algorithm leads to the same solution than biproportion, which turns biproportion into a mathematical tool as indisputable than proportion), ineffectiveness of...