Template:Quotient-is ideal property