Diyelim ki $v$ vektörü her $g$ için $\psi_g$ operatörünün özvektörü olsun. Bu durumda $<v>$ tarafından üretilen uzay bir alttemsil tanımlar. Temsil üç boyutlu olduğu için bu uzay bütün uzay değildir, o halde temsilimizin $0$ ya da kendisine eşit olmaya bir alt temsili olduğu için temsilimiz indirgenemez olamaz.
Diyelim ki indirgenebilir olsun. Bu durumda uzay iki tane alt temsilin birleşimi olarak yazılabilir. Bu uzaylardan bir tanesi bir boyutlu olmak zorunda. O bir boyutlu uzaya yakından bakarsan üretecenin bütün $ \psi_g$'ler için özvektör olduğunu görürsün.