Template:Integral domain property