Two-sided ideal

Summary