I think most of the "proof these are unique/sufficient" bits in the first IIRC couple chapters are quite unnecessary to your goals and just make it look like you need more mathematical expertise than you really do. So don't get bogged down by that.