Create gcd_theorem.cpp

[projjwalraj707]

This program finds HCF of two numbers. The logic behind the code is that HCF of 'a' and 'b' is same as 'a-b' and 'b'. And when one of the numbers is zero the other one is automatically the HCF of the two.