Sumn 2 Prove 2 (Explicit)

assumptional (Explicit)