Template:Integral domain property implication