If you just want to use a tool at a basic level, you do not need to be explained how it works. If you want to master a tool and be able to use it in novel situations you need to understand how the tool was created. Same with math proofs - without knowing why something is true and how it was discovered, how can you utilize its full power?