# Maximal common divisor

2. Suppose c ∈ H d|c and c|b for all b ∈ B. Then ${\displaystyle c\simeq d}$.