Irreducibility of the Standard Two-Dimensional $\mathfrak{sl}_2(k)$-Module