Theorem of joy

Theorem of joy