11/12/2017 -- Advanced: Greatest common divisor.

We introduce the concept of the greatest common divisor and prove some basic statements about it.