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