13.1.5 显示原子性的一个充分条件