prove sql