proof in pdf