implement greatest common divisor
use greatest common divisor in poc