I have started reading Smith normal form from this above note. In this note I have failed to understand why is $\{y_1,y_2 \}$ a basis for $K$. It is clear that $\mathrm {span} \{y_1,y_2 \} \subset K$. But I couldn't manage to prove the converse. Please give me some suggestions.
Thank you in advance.