Irreducible variety

Summary