one issue that comes to mind is the nature of the determinant. when one considers the determinant defined by the recursive definition, it seems like a highly contrived object that is difficult to work with (as it is from that definition!). avoiding that confusion requires that a lot more scaffolding be built (ala Axler in the "Done Right" book). either way you have some work: either to untangle the meaning of the weird determinant or get to the place where you can understand the determinant as the product of the eigenvalues.