definition of atomicity and its proof strategy