Prove Nun (Explicit)

Prove Nun (Explicit)