Checking a certificate
Substitute the claimed values: every row sums to zero