No point to prove (Explicit)

Changed (Explicit)