Theorem (Explicit)

Simplicity