Source TeX:
AY=Y\Leftrightarrow (A-I)Y=0 \Leftrightarrow BY=0