Verify proof

00:43