feat(library/standard/nat2): add properties of dvd and gcd