No point to prove (Explicit)

No point to prove (Explicit)