That's too bad. I just don't see how you can really learn it well without deriving the proofs.