Irreducibility example