proof of gcds