No point to prove (Explicit)

Real 1 (Explicit)