Template:Integral domain metaproperty satisfaction