pock.1: Fix Pocklington proof.