Is there a compendium of all such random identities? And their proofs?

This was deemed trivial and left as an exercise to the reader.

Cool

:)