Maybe add a comment # solves x**2 - 13*y**2 = -4