Greatest common Divisor and elementary properties