prove nun v3 (Explicit)

my own (Explicit)