Actually one of the ways to prove that requires the fact that R completes Q. The concept of completeness was introduced by Cauchy in the 19th century and it might not have been completely popularised in 1869.