Probability of Two Random Integers having no Common Divisor/Historical Note

Historical Note on Probability of Two Random Integers having no Common Divisor
According to and  in their  of $1983$, this result is attributed to  and  in $1883$.

However, this has not been corroborated.