Template:Integral domain property non-implication