nun2prove (Explicit)

nun2prove (Explicit)