Theorems are like libraries

Theorems are like libraries

Theorems are like libraries,
propositions are its functions,
lemmas are the private methods,
and algorithms are huge proofs.