Category:Equivalence of Definitions of Associate in Integral Domain