Point to prove (Explicit)

Point to prove (Explicit)