Point 2 Prove (Explicit)

2 Real (Explicit)