  Farey's sequence is a well-known procedure used to generate proper fractions
from 0 to 1. Farey sequence is commonly used in rational approximations of
irrational numbers, ford circles and in Riemann hypothesis. Thus, in this
paper, we aim to use properties of the Farey's sequence to prove the popular
gcd theorem.
