试证明，若并发事务遵守两段锁协议，则对这些事务的并发调度是可串行化的。