The consistency requirement here is that the sum of A and B
be unchanged by the execution of the transaction. Without the consistency
requirement, money could be created or destroyed by the transaction! It can
be verified easily that, if the database is consistent before an execution of
the transaction, the database remains consistent after the execution of the
transaction.