Guys is this proof correct?