Theorem If and , then the relative error in computing is at most , even if no guard digits are used. Proof TODO