Our next step is to come up with a more formal proof that $L_2 = \{a^nb^n | n > 0 \}$ is nonregular. We are going to do this using a Proof by Contradiction. So of course, the first step is to assume that $L_2$ is regular, and show that this assumption causes a contradition.