proof of First