prving a point