theorem :: MEMBER_1:112

for f, h, i being ExtReal holds {f} /// {h,i} = {(f / h),(f / i)}